fix(invariant): do not commit state if assume returns

[grandizzy]

Motivation

Closes #9054

• atm in invariant tests we're committing the state of fuzzed selector, regardless it is a magic assume result
• assume rejections should discard the current fuzzed input and increment rejection counter but without modifying state (similar with a call that doesn't happen). Further more the assume input is popped from call sequence, so won't be available in a failed call sequence (still could change state)

Solution

• do not commit state if call result is MAGIC_ASSUME