fix MaxNbCircuitsSum test

[Tabaie]

This PR fixes the occasional failure of TestMaxNbCircuitsSum. The failure was caused by the test itself, since it sometimes created public input interconnection circuits with no execution circuits allowed. The interconnection circuit (reasonably) assumes that there is at least one.

Checklist

• I wrote new tests for my new core changes.
• I have successfully run tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any. (N/A)

[gusiri]

pi-interconnection % go test -run ^TestMaxNbCircuitsSum$

INFO[0000] defining the constraints of the GKR verifier 
INFO[0002] defining the constraints of the GKR verifier : done 
INFO[0002] defining the constraints of the GKR verifier 
INFO[0005] defining the constraints of the GKR verifier : done 
INFO[0005] defining the constraints of the GKR verifier 
INFO[0007] defining the constraints of the GKR verifier : done 
INFO[0007] defining the constraints of the GKR verifier 
INFO[0009] defining the constraints of the GKR verifier : done 
INFO[0009] defining the constraints of the GKR verifier 
INFO[0011] defining the constraints of the GKR verifier : done 
+ provides the correct number of public inputs: OK, passed 5 tests.
Elapsed time: 11.151526625s
PASS
ok      github.com/consensys/linea-monorepo/prover/circuits/pi-interconnection  12.122s

LGTM

[github-actions]

Delta Summary - Kotlin Code Coverage

Generated on:	09/12/2024 - 15:04
Description	Previous	Current	Delta
Coverage date:	09/12/2024 - 15:04	09/12/2024 - 15:04
Tag:	68_10833318519	68_10833318519
Line coverage:	27.6%	27.6%	0.0%
Covered lines:	26073	26073	0
Coverable lines:	94280	94280	0
Total lines:	133202	133202	0
Branch coverage:	10.5%	10.5%	0.0%
Covered branches:	5638	5638	0
Total branches:	53419	53419	0
Method coverage:	Feature is only available for sponsors