Using ScalaCheck for property-based testing