CHANGES:
Functionally equivalent to Goblint in SV-COMP 2025.
- Add 32bit vs 64bit architecture support (#54, #1574).
- Add per-function context gas analysis (#1569, #1570, #1598).
- Adapt automatic static loop unrolling (#1516, #1582, #1583, #1584, #1590, #1595, #1599).
- Adapt automatic configuration tuning (#1450, #1612, #1181, #1604).
- Simplify non-relational integer invariants in witnesses (#1517).
- Fix excessive hash collisions (#1594, #1602).
- Clean up various code (#1095, #1523, #1554, #1575, #1588, #1597, #1614).