invariant shrink #6683: check if test failed instead revert

[grandizzy]

Motivation

see #6683 (comment)
Atm shrinking doesn't apply for invariants using asserts but only for invariants that reverts (require)

Solution

• when deciding if a sequence can fail test check if test failed (instead if reverted only)
• added test with assert and require to ensure they shrink at same len

[mattsse]

I believe this makes sense,

one q re clone

• lint issue

[mattsse]

do we need the clone here?

[grandizzy]

the next param is &call_result which borrows the value so if not cloning fails with

225 |                     &call_result,
    |                     ^^^^^^^^^^^^ value borrowed here after partial move

[mattsse]

hmm, the pub fn is_raw_call_success( fn is not very good, I see why we need the state as a separate arg

but this means for this call, we can use mut call_result.state_changeset.take().unwrap()

[grandizzy]

thank you, this makes sense, I made following change in 9d2b073 + made test more robust as they can change in less steps