Using ScalaCheck, though without "real" assertions.