falsify-0.2.0: Property-based testing with internal integrated shrinking