[chore] use expr builder for modular chips

[luffykai]

follow up from #1204

• modular tests already call setup_all_moduli

[jonathanpwang]

Sorry I approved this a while ago but lost internet.
LGTM and saves a nice amount of code.

Please fix lint

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-23 [-0.7%]) 3,494	711,211	25,510,215	-	-	-
fibonacci_program	(-7 [-0.1%]) 6,078	1,500,137	51,505,102	-	-	-
regex_program	18,880	4,190,904	165,028,173	-	-	-
ecrecover_program	(-114 [-4.3%]) 2,521	285,401	15,092,297	-	-	-

Commit: f3a25af

Benchmark Workflow