Make CopyAndUpdateAssertion verify the updated value is assigned

This fixes `CopyAndUpdateAssertion` logic as described in #326.

If the 'copied and updated' value is not assigned to the matched member, the assertion now fails.

I don't really consider this a breaking change, however you *could* argue it is. Any further thoughts on this?