[fix] turn on first row check for setup

[luffykai]

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	(+35 [+0.9%]) 3,829	746,003	30,007,494	-	-	-
fibonacci_program	(-44 [-0.7%]) 6,059	1,500,137	51,505,102	-	-	-
regex_program	(-97 [-0.5%]) 18,439	4,190,904	165,028,173	-	-	-
ecrecover_program	(+13 [+0.5%]) 2,616	285,401	15,092,297	-	-	-

Commit: 0197c03

Benchmark Workflow

[jonathanpwang]

going to merge now but we have some separate discussions around cleaning up setup more generally and need to figure out how to handle pairing chips

[jonathanpwang]

note: this does not count as a security bug in the chips because you can inspect the program to see if setup was ever called. We were previously enforcing setup at the level of program correctness, but of course it's better to be able to enforce it at the chip level.

[jonathanpwang]

@luffykai for some reason this failed after pushing to main but not in PR

[yi-sun]

Looks like the algebra extension test didn't run on this PR -- we should add crates/circuits/mod-builder/** to the triggering paths in the workflow.

[jonathanpwang]

#1204