fix: WeierstrassConfig zip moduli

[jonathanpwang]

WeierstrassConfig (only used for testing) auto creates the moduli. It is more natural to do coordinate,scalar per curve instead of doing all coordinate first.

[jonathanpwang]

@luffykai this one is fixed, can you take a look and then merge

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+76 [+2.2%]) 3,576	711,523	25,513,335	-	-	-
fibonacci_program	(-107 [-1.7%]) 6,031	1,500,137	51,505,102	-	-	-
regex_program	(-35 [-0.2%]) 18,887	4,190,904	165,028,173	-	-	-
ecrecover_program	(+18 [+0.7%]) 2,627	285,401	15,092,297	-	-	-

Commit: c964d4d

Benchmark Workflow