use scalacheck for some tests