chore: cleanup and address TODOs

[jonathanpwang]

closes INT-3084

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-53 [-2.4%]) 2,176	513,827	19,376,791	-	-	-
fibonacci_program	(-172 [-3.3%]) 5,108	1,500,095	51,485,080	-	-	-
regex_program	14,975	4,139,840	163,831,459	-	-	-
ecrecover_program	(-20 [-0.8%]) 2,570	284,567	15,055,843	-	-	-

Commit: 538995d

Benchmark Workflow