Property-based testing for Scala