feat: Add Program::new_for_proof

[fmoletta]

TITLE

Description

Description of the pull request changes and motivation.

Checklist

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

[codecov]

Codecov Report

Merging #1396 (6f20cd3) into main (6c5bf89) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff            @@
##             main    #1396    +/-   ##
========================================
  Coverage   96.95%   96.96%            
========================================
  Files          94       94            
  Lines       38518    38635   +117     
========================================
+ Hits        37346    37463   +117     
  Misses       1172     1172            

Files Changed	Coverage Δ
vm/src/types/program.rs	99.32% <100.00%> (+0.08%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_factorial	3.680 ± 0.030	3.633	3.719	1.00
head big_factorial	3.708 ± 0.036	3.668	3.772	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	3.155 ± 0.014	3.133	3.178	1.00
head big_fibonacci	3.187 ± 0.032	3.141	3.263	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	9.027 ± 0.095	8.899	9.161	1.00
head blake2s_integration_benchmark	9.137 ± 0.583	8.844	10.748	1.01 ± 0.07

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	3.196 ± 0.016	3.173	3.223	1.00
head compare_arrays_200000	3.226 ± 0.013	3.205	3.247	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	2.178 ± 0.013	2.157	2.199	1.00
head dict_integration_benchmark	2.179 ± 0.008	2.167	2.191	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.664 ± 0.010	1.651	1.687	1.00
head field_arithmetic_get_square_benchmark	1.669 ± 0.008	1.659	1.683	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	8.962 ± 0.037	8.910	9.038	1.00
head integration_builtins	8.975 ± 0.090	8.893	9.209	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	9.178 ± 0.140	9.065	9.560	1.00
head keccak_integration_benchmark	9.371 ± 0.521	9.109	10.831	1.02 ± 0.06

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	3.284 ± 0.017	3.248	3.307	1.00
head linear_search	3.335 ± 0.025	3.299	3.389	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	2.359 ± 0.027	2.314	2.403	1.00
head math_cmp_and_pow_integration_benchmark	2.391 ± 0.029	2.358	2.438	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	2.144 ± 0.019	2.114	2.174	1.00
head math_integration_benchmark	2.184 ± 0.023	2.144	2.223	1.02 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.904 ± 0.022	1.874	1.940	1.00
head memory_integration_benchmark	1.918 ± 0.008	1.907	1.930	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	2.099 ± 0.017	2.075	2.128	1.00
head operations_with_data_structures_benchmarks	2.141 ± 0.020	2.110	2.170	1.02 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	786.0 ± 4.1	780.9	792.6	1.00
head pedersen	790.9 ± 3.9	787.5	797.5	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base poseidon_integration_benchmark	1.538 ± 0.002	1.534	1.541	1.00
head poseidon_integration_benchmark	1.542 ± 0.008	1.529	1.557	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	2.550 ± 0.018	2.518	2.576	1.00
head secp_integration_benchmark	2.572 ± 0.054	2.536	2.720	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base set_integration_benchmark	1.348 ± 0.023	1.336	1.412	1.00 ± 0.02
head set_integration_benchmark	1.344 ± 0.017	1.329	1.391	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	6.019 ± 0.044	5.945	6.069	1.00 ± 0.01
head uint256_integration_benchmark	6.008 ± 0.038	5.930	6.070	1.00