[fix] support execute until segment

[luffykai]

redo #1254
the fix is in second commit (I double-take the streams) -> we do have test with continuation, but not actually using input

fix INT-3004

[luffykai]

reth: https://github.com/axiom-crypto/openvm-reth-benchmark/actions/runs/12938455876

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+34 [+1.4%]) 2,404	513,372	19,358,312	-	-	-
fibonacci_program	(+10 [+0.2%]) 6,101	1,500,137	51,487,838	-	-	-
regex_program	(-565 [-3.1%]) 17,955	(+51068 [+1.2%]) 4,190,904	(+1177482 [+0.7%]) 165,010,909	-	-	-
ecrecover_program	(-25 [-1.0%]) 2,570	(+840 [+0.3%]) 285,401	(+20098 [+0.1%]) 15,075,033	-	-	-

Commit: fea583e

Benchmark Workflow