scalacheck consistency tests