added scalacheck dependency