invariant: #6694 add preserve_state config

[grandizzy]

• add preserve_state invariant config: useful for handlers that change state (e.g. using cheatcodes like roll, warp), see Invariant test does not revert though fail_on_revert is set to true  #6694
• active only in conjunction with fail_on_revert true

Motivation

• see Invariant test does not revert though fail_on_revert is set to true  #6694 (comment)

Solution

• use call_raw_committing if preserve_state and fail_on_revert enabled

[mds1]

See also #5444, so deferring to @Evalir on how this should be implemented.

Committing/preserving state is more intuitive and should be the default though—assuming the performance issue is resolved, what is the reason you'd want to disable it? It should also apply whether or not fail_on_revert is enabled

[grandizzy]

See also #5444, so deferring to @Evalir on how this should be implemented.

Committing/preserving state is more intuitive and should be the default though—assuming the performance issue is resolved, what is the reason you'd want to disable it? It should also apply whether or not fail_on_revert is enabled

the only reason for disabling by default and applying with fail_on_revert is to avoid any potential performance issue for existing integrations, so projects could tweak these params, run with them and report back if something really bad. then after some time passed and feedback collected should be good to turn defaults on...

[mattsse]

I think that makes sense and a reasonable usecase

lgtm, pending @Evalir