added scalacheck tests