chore(prof): uniformize halo2 metrics and add aggregate summary

[jonathanpwang]

No description provided.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+9 [+0.6%]) 1,600	194,752	(+8012822 [+inf%]) 8,012,822	-	-	-
fibonacci_program	(-15 [-0.2%]) 7,367	1,500,137	(+51505102 [+inf%]) 51,505,102	(-88 [-0.5%]) 18,157	3,172,689	(+128861566 [+inf%]) 128,861,566
regex_program	(+56 [+0.3%]) 22,299	4,190,904	(+165028173 [+inf%]) 165,028,173	(-567 [-1.6%]) 35,683	6,523,215	(+291291355 [+inf%]) 291,291,355
fib_e2e	50,778	12,000,137	410,820,430	107,076	19,054,441	770,511,381
ecrecover_program	(-15 [-0.5%]) 2,905	290,016	(+15230037 [+inf%]) 15,230,037	(+194 [+0.4%]) 48,659	9,777,769	(+445626498 [+inf%]) 445,626,498

Commit: 7dc2f80

Benchmark Workflow