Part of the problem is that features are not added fully

This here should not need to happen:

> document that moved-from objects cannot be used

It's moved from, so of course it cannot be used. Shouldn't have to add an assertion in every method to guard a fundamental invariant.