Open
Description
Suggestion from @ehildenb
(Once the algorithm is changed to not simplify the whole configuration at every rewrite step:)
Provide support for a list of configuration cells to keep fully simplified at all times.
For imp that could be the state cell, for kevm it would just be k, pc, gas cells.
The rewrite algorithm should simplify those cells every step (rationale: they will have to be evaluated anyway to make progress).
This should be a user-defined annotation in the definition (and it may even be inferrable by inspecting the rules).