Further small optimisation of isSubsetOf -- now avoids re-copying elements of newLargerRemaining at each iteration