ScalaCheck to do property checks