"""Authentication property-based tests."""