Introducing ScalaCheck for more rigorous random testing.