property testing with shrinking, drop-in compatible with testing/quick - View it on GitHub