feat: update to provable params

[zlangley]

Syncs with openvm-org/stark-backend#202

closes INT-5601

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	707	621,580	3,608,480	-	-	-
fibonacci	1,616	1,500,209	2,100,402	-	-	-
regex	4,106	4,137,502	17,695,216	-	-	-
ecrecover	931	122,859	2,263,998	-	-	-
pairing	2,086	1,745,742	25,408,302	-	-	-

Commit: 6718204

Benchmark Workflow

[codspeed-hq]

CodSpeed Performance Report

Merging #2301 will improve performances by ×2.2

_{Comparing feat/provable-params (f8146e2) with main (77adf7e)¹}

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

⚡ 1 improvement
✅ 23 untouched
⏩ 36 skipped²

Benchmarks breakdown

	Mode	Benchmark	BASE	HEAD	Change
⚡	WallTime	benchmark_execute_metered[quicksort]	19.5 ms	9 ms	×2.2

Footnotes

1. No successful run was found on develop-v1.5.0 (fffc4bc) during the generation of this report, so main (77adf7e) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 36 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩