feat(verification_layer): support multiple quorums in Aggregator and AlignedLayerServiceManager

[JuArce]

Support multiple quorums in Aggregator and AlignedLayerServiceManager

Description

Note: BLS Aggregation service has a bug when an operator belongs to both quorums. #1947 solves this issue bumping the EigenSDK

How to Test

WIP

Type of change

• New feature

Checklist

• “Hotfix” to testnet, everything else to staging
• Linked to Github Issue
• This change depends on code or research by an external entity
  • Acknowledgements were updated to give credit
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run
• Has a known issue
  • Link to the open issue addressing it
• If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
  • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

[github-actions]

Changes to gas cost

Generated at commit: ed63d3a7b5e8b215cf1908f647d3ff3e38d0f10e, compared to commit: 124eba82524bd95d1419ace19f8d959c492ffee0

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	+95 ❌	+0.12%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	4,454,606 (+56,534)	createNewTask receive	56,898 (-48) 23,301 (0)	-0.08% 0.00%	76,985 (+95) 46,928 (+93)	+0.12% +0.20%	77,086 (0) 47,115 (0)	0.00% 0.00%	77,824 (0) 47,115 (0)	0.00% 0.00%	256 (0) 256 (0)
RegistryCoordinatorHarness	5,548,172 (+19,489)