Fix BoundedInt Sub libfunc

[DiegoCivi]

Title

Closes #NA

Introduces Breaking Changes?

Yes/No.

• Created PR in sequencer
• Created PR in starknet-replay
• Updated the starknet-blocks.yml workflow to use these PRs.

These PRs should be merged after this one right away, in that order.

Checklist

• Linked to Github Issue.
• Unit tests added.
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.60%. Comparing base (5cfbe64) to head (5b8ebb1).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1465      +/-   ##
==========================================
+ Coverage   81.45%   81.60%   +0.14%     
==========================================
  Files         105      105              
  Lines       25862    25925      +63     
==========================================
+ Hits        21065    21155      +90     
+ Misses       4797     4770      -27     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	2.640 ± 0.014	2.618	2.662	1.03 ± 0.01
base dict_insert.cairo (AOT)	2.567 ± 0.031	2.532	2.639	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	2.603 ± 0.036	2.548	2.647	1.05 ± 0.02
head dict_insert.cairo (AOT)	2.475 ± 0.029	2.439	2.527	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	2.346 ± 0.041	2.304	2.450	1.05 ± 0.02
base dict_snapshot.cairo (AOT)	2.226 ± 0.035	2.180	2.307	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	2.269 ± 0.025	2.227	2.299	1.05 ± 0.01
head dict_snapshot.cairo (AOT)	2.171 ± 0.018	2.148	2.211	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	2.701 ± 0.024	2.679	2.761	1.01 ± 0.02
base factorial_2M.cairo (AOT)	2.679 ± 0.040	2.632	2.759	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	2.642 ± 0.021	2.604	2.681	1.01 ± 0.02
head factorial_2M.cairo (AOT)	2.608 ± 0.034	2.571	2.671	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	2.222 ± 0.011	2.205	2.239	1.02 ± 0.01
base fib_2M.cairo (AOT)	2.188 ± 0.027	2.152	2.231	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.197 ± 0.018	2.180	2.241	1.05 ± 0.01
head fib_2M.cairo (AOT)	2.098 ± 0.021	2.056	2.126	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base heavy_circuit.cairo (JIT)	14.321 ± 0.069	14.252	14.424	1.03 ± 0.01
base heavy_circuit.cairo (AOT)	13.851 ± 0.036	13.783	13.908	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head heavy_circuit.cairo (JIT)	13.878 ± 0.053	13.769	13.942	1.02 ± 0.01
head heavy_circuit.cairo (AOT)	13.578 ± 0.116	13.368	13.766	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	2.572 ± 0.122	2.454	2.804	1.12 ± 0.05
base linear_search.cairo (AOT)	2.295 ± 0.026	2.257	2.334	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	2.350 ± 0.033	2.319	2.431	1.06 ± 0.02
head linear_search.cairo (AOT)	2.222 ± 0.014	2.207	2.248	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	2.540 ± 0.021	2.514	2.567	1.07 ± 0.01
base logistic_map.cairo (AOT)	2.380 ± 0.026	2.336	2.415	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	2.503 ± 0.016	2.472	2.524	1.07 ± 0.01
head logistic_map.cairo (AOT)	2.340 ± 0.022	2.307	2.370	1.00

[github-actions]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.846 ± 0.052	10.748	10.922	4.50 ± 0.05
cairo-native (embedded AOT)	2.412 ± 0.026	2.373	2.447	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.488 ± 0.029	2.440	2.531	1.03 ± 0.02

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	510.5 ± 4.3	503.7	515.6	1.00
cairo-native (embedded AOT)	2094.9 ± 18.4	2052.9	2115.8	4.10 ± 0.05
cairo-native (embedded JIT using LLVM's ORC Engine)	2217.9 ± 36.5	2162.5	2301.0	4.34 ± 0.08

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.723 ± 0.057	4.689	4.880	1.88 ± 0.03
cairo-native (embedded AOT)	2.515 ± 0.016	2.499	2.554	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.550 ± 0.027	2.522	2.596	1.01 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.663 ± 0.018	4.644	4.701	2.23 ± 0.04
cairo-native (embedded AOT)	2.095 ± 0.035	2.056	2.156	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.112 ± 0.021	2.080	2.151	1.01 ± 0.02

Benchmark for program heavy_circuit

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	9.665 ± 0.095	9.533	9.804	1.00
cairo-native (embedded AOT)	14.696 ± 0.063	14.616	14.814	1.52 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	15.008 ± 0.147	14.772	15.170	1.55 ± 0.02

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	555.9 ± 10.4	544.7	581.3	1.00
cairo-native (embedded AOT)	2139.4 ± 18.7	2122.8	2180.4	3.85 ± 0.08
cairo-native (embedded JIT using LLVM's ORC Engine)	2329.9 ± 34.6	2272.4	2385.1	4.19 ± 0.10

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	372.0 ± 5.3	364.7	383.2	1.00
cairo-native (embedded AOT)	2221.8 ± 20.9	2198.3	2267.1	5.97 ± 0.10
cairo-native (embedded JIT using LLVM's ORC Engine)	2385.7 ± 19.8	2358.8	2431.2	6.41 ± 0.11