Added scalacheck