Somewhat interestingly, the verification for that kind of copying has always been in place, as the Congruentry feature caters for proving that one location is a perfect subset of another.
However I've so far used other standard tools for copying and felt that copy operations have a lot of edge cases to code for - and I'm lazy about doing that.