Yul codegen should use relooper algorithm

[sbillig]

The codegen module currently uses a set of heuristics for re-creating loops from the control flow graph. The "relooper" algorithm might be a better solution. Some links:

https://crates.io/crates/relooper (This code looks reasonable, and might be easily adaptable to our situation)
https://medium.com/leaningtech/solving-the-structured-control-flow-problem-once-and-for-all-5123117b1ee2
https://github.com/emscripten-core/emscripten/blob/master/docs/paper.pdf
https://github.com/cfallin/waffle/tree/main
https://dl.acm.org/doi/abs/10.1145/3547621