Add scalacheck