add scalacheck