fix: remove setup on first row constraint

[jonathanpwang]

We revert to enforcing at the program code level that:

• a valid program must call the correct setup opcodes to be correct

It would be better if we can constraint this in the circuit, however this has the challenge that when the same chip is used across continuation segments, only the first segment will have setup called.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	3,371	711,968	25,526,194	-	-	-
fibonacci_program	(+22 [+0.4%]) 6,094	1,500,137	51,505,102	-	-	-
regex_program	18,972	4,190,904	165,028,173	-	-	-
ecrecover_program	2,601	285,401	15,092,297	-	-	-

Commit: 72580b8

Benchmark Workflow