"""Hypothesis-based property tests."""