Refactor test cheat

[QGarchery]

This PR:

• updates the munging patch to avoid having line offsets
• removes the dynamic loading of code and uses vm.store and vm.load cheatcodes instead

[MathisGD]

• updates the munging patch to avoid having line offsets

curious how did you do this

[QGarchery]

To update the munging, you can do:
make -C certora clean
make -C certora munged
At this step you need to be careful, because some hunks may not be used perfectly. Notably sometimes it leaves a file.orig that you need to remove
And then you do
make -C certora record and commit the changes