chore: add tracing spans for aot exec methods

[shuklaayush]

• add back tracing spans for pure and metered execution mirroring interpreter implementation

[codspeed-hq]

CodSpeed Performance Report

Merging #2275 will not alter performance

_{Comparing chore/add-tracing-spans (79430bd) with main (b2e33af)¹}

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

✅ 24 untouched
⏩ 36 skipped²

Footnotes

1. No successful run was found on main (d475dae) during the generation of this report, so b2e33af 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. ↩

[jonathanpwang]

test it works with openvm-prof
I think span name needs to remain the same, but perhaps you could add a label

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+4 [+1.7%]) 238	322,610	2,058,654	-	-	-
fibonacci	(+7 [+0.7%]) 980	1,500,209	2,100,402	-	-	-
regex	(+6 [+0.3%]) 2,360	4,137,502	17,695,216	-	-	-
ecrecover	(-5 [-0.7%]) 697	122,859	2,265,100	-	-	-
pairing	1,421	1,745,742	25,468,210	-	-	-

Commit: 79430bd

Benchmark Workflow