Use more ScalaCheck.