testing scalacheck