Update scalacheck