Validating Move-Assignment Consistency

Verify that move-assignment operators adhere to the strong exception guarantee requirements.