Update to use ScalaCheck version 1.12.1