Updated Scala and ScalaCheck versions.
Added search for subgroups leaving sequences invariant.