[KGA-2] [KGA-51] fix: underconstrained hint in initialize_jumpdests

[enitrat]

Fixes an underconstrained hint in initialize_jumpdests. Avoids a malicious prover to continue iterating over the bytecode limit and consuming extra resources, but has no impact over code execution

https://github.com/code-423n4/2024-09-kakarot-findings/issues/26
https://github.com/code-423n4/2024-09-kakarot-findings/issues/67

[notion-workspace]

Underconstrained hints in initailize_jumpdests

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.7%. Comparing base (4a63a66) to head (491d3d5).
Report is 7 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##            main   #1626     +/-   ##
=======================================
- Coverage   63.9%   63.7%   -0.2%     
=======================================
  Files         44      44             
  Lines       8363    8331     -32     
=======================================
- Hits        5349    5315     -34     
- Misses      3014    3016      +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles

[notion-workspace]

Arbitrary jump destinations can be appended to contract accounts