Add better assertions to copy() for detecting memory buffer overflows

[kylelutz]

Add assertions to the copy() algorithm to automatically check (where possible) for incorrectly sized output buffers.