New idiomatic assertion: CopyAndUpdateAssertion

This implements #100 - `CopyAndUpdateAssertion`