Add additional scalacheck test