feat(sdk): derive Debug traits in config

[Qumeric]

It might be useful while developing.

---

Replaces #1773

[codspeed-hq]

CodSpeed WallTime Performance Report

Merging #1777 will not alter performance

_{Comparing val/add-debug-trait (a7f6e2f) with feat/new-execution (5eba513)}

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

✅ 20 untouched benchmarks

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-26 [-2.0%]) 1,257	322,699	17,340,154	-	-	-
fibonacci	(-54 [-2.4%]) 2,197	1,500,277	50,589,503	-	-	-
regex	(-67 [-1.0%]) 6,766	4,165,432	166,519,456	-	-	-
ecrecover	(+12 [+1.1%]) 1,142	137,260	8,151,353	-	-	-
pairing	(+23 [+0.6%]) 3,927	1,862,964	97,508,739	-	-	-

Commit: a7f6e2f

Benchmark Workflow