fix(new-execution): use unpadded height for segmentation

[shuklaayush]

• use unpadded height when calculating max height and total cells during segmentation
• use default segmentation thresholds from reth benchmark

[codspeed-hq]

CodSpeed Walltime Performance Report

Merging #1698 will not alter performance

_{Comparing feat/new-exec-fix-e2-height-padding (7b18c95) with feat/new-execution (c9c7240)}

⚠️ 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

✅ 10 untouched benchmarks

[codspeed-hq]

CodSpeed Instrumentation Performance Report

Merging #1698 will not alter performance

_{Comparing feat/new-exec-fix-e2-height-padding (7b18c95) with feat/new-execution (c9c7240)}

Summary

✅ 10 untouched benchmarks

[jonathanpwang]

MAX_TRACE_HEIGHT isn't configurable?

[shuklaayush]

not atm. i'll fix this in a follow up

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-153 [-12.9%]) 1,034	334,142	(-1223570 [-6.9%]) 16,453,128	-	-	-
fibonacci	(-324 [-12.9%]) 2,186	1,500,277	50,578,543	-	-	-
regex	(-603 [-8.2%]) 6,762	4,165,432	(-3513918 [-2.1%]) 162,997,234	-	-	-
ecrecover	(+53 [+3.8%]) 1,442	289,547	(-1180984 [-8.2%]) 13,289,202	-	-	-
pairing	(-70 [-1.6%]) 4,427	1,820,436	(-16223094 [-16.9%]) 79,609,313	-	-	-

Commit: 7b18c95

Benchmark Workflow