Lots of improvements.
Push up ScalaCheck limit for Travis hopefully.