more ScalaCheck tests