upgrade to ScalaCheck 1.12.0