Property-based testing for Python