Fixes #4232.

Notes:

1. Exception specification strengthening for move assignment is made conditional (similar to standard specifications for containers).
2. The _Copy_into_self_and_tidy function actually copies the buffer, which is needed when both allocators are not equal.
3. The old _Assign_rv is sometimes replaced with _Assign_rv_no_alias, which should avoid redundant address comparison.