Murisi/execute tests rebased3 abrev with generalized generation#343

Draft

murisi wants to merge 11 commits intomainfrom

murisi/execute-tests-rebased3-abrev-with-generalized-generation

Commits on Sep 24, 2025

Expect a message-less revert when the proofs are too short.
murisi
committed

Commits on Oct 1, 2025

Generalized transaction generation.
murisi
committed
Integrated generalized transaction generation into other tests.
murisi
committed
Added some assumptions to make the existing fuzz testing code work with generalized transaction generation.
murisi
committed