Convert to use Scalacheck.