[scala] ANNOUNCE: ScalaCheck 1.3