In this release the following features are added:
- support for verification of CFGs generated by the decompiler and CFG generator
- stronger post-conditions in abstract semantics to verify CFGs
- update to Dafny 4.9.0 for verification
- benchmarks: verified CFGs for the test suite less_than_300_opcodes from the project EVMLisa