upgrade to ScalaCheck 1.12.1