property-based testing library in Scala