Implement more review comments.

Explain why I haven't incorporated two suggestions, from Olaf and Beman.

Fix the definitions of remove_{prefix,suffix} to address n>size().  Existing
practice assert()s, so I required that n<=size() and removed the noexcept spec.