fix(contract): remove deprecated verifyBatchInclusion from AlignedLayerServiceManager.sol

[uri-99]

Remove deprecated verifyBatchInclusion

Description

We remove the old and deprecated verifyBatchInclusion function from AlignedLayerServiceManager.sol , to avoid user confusion.

How to Test

This PR is a removal of a deprecated function.

Type of change

Please delete options that are not relevant.

• New feature
• Bug fix
• Optimization
• Refactor

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

[JuArce]

There is missing to update the anvil state

[JuArce]

There is missing to udpdate the README with a new contract address for the example

[github-actions]

Changes to gas cost

Generated at commit: 81c1bce59ab33afd8b58d4f09647e028692d0d39, compared to commit: 306f72d2c0f03f0107f55725c2ba5fa168f39fc4

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	batchesState disabledVerifiers isVerifierDisabled	+4,710 ❌ +2,153 ❌ +1,609 ❌	+652.35% +562.14% +129.03%
RegistryCoordinatorHarness	blsApkRegistry	+332 ❌	+116.90%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	8,464,710 (+3,233,476)	batchesState createNewTask disableVerifier disabledVerifiers enableVerifier isVerifierDisabled receive setDisabledVerifiers	5,432 (+4,710) 57,696 (+1,613) 24,299 (+390) 2,536 (+2,153) 24,191 (+390) 2,856 (+2,275) 23,496 (+179) 24,272 (+473)	+652.35% +2.88% +1.63% +562.14% +1.64% +391.57% +0.77% +1.99%	5,432 (+4,710) 77,585 (+1,524) 35,816 (+315) 2,536 (+2,153) 24,760 (+315) 2,856 (+1,609) 47,097 (+182) 35,198 (+392)	+652.35% +2.00% +0.89% +562.14% +1.29% +129.03% +0.39% +1.13%	5,432 (+4,710) 77,812 (+1,571) 35,816 (+315) 2,536 (+2,153) 24,760 (+315) 2,856 (+2,275) 47,472 (+277) 35,198 (+392)	+652.35% +2.06% +0.89% +562.14% +1.29% +391.57% +0.59% +1.13%	5,432 (+4,710) 78,607 (+1,613) 47,334 (+240) 2,536 (+2,153) 25,329 (+240) 2,856 (+275) 47,472 (+277) 46,125 (+312)	+652.35% +2.09% +0.51% +562.14% +0.96% +10.65% +0.59% +0.68%	256 (0) 256 (0) 2 (0) 1 (0) 2 (0) 3 (0) 256 (0) 2 (0)
RegistryCoordinatorHarness	10,130,060 (+4,267,898)	blsApkRegistry initialize stakeRegistry	616 (+332) 56,281,475 (+1,577,892) 682 (+332)	+116.90% +2.88% +94.86%	616 (+332) 56,281,475 (+1,577,892) 682 (+332)	+116.90% +2.88% +94.86%	616 (+332) 56,281,475 (+1,577,892) 682 (+332)	+116.90% +2.88% +94.86%	616 (+332) 56,281,475 (+1,577,892) 682 (+332)	+116.90% +2.88% +94.86%	6 (0) 6 (0) 6 (0)
Slasher	1,598,825 (+762,846)	initialize	922 (+470)	+103.98%	922 (+470)	+103.98%	922 (+470)	+103.98%	922 (+470)	+103.98%	6 (0)
StakeRegistryHarness	5,139,510 (+2,005,505)	delegation initializeQuorum	658 (+332) 146,200 (+3,117)	+101.84% +2.18%	658 (+332) 165,996 (+3,117)	+101.84% +1.91%	658 (+332) 166,100 (+3,117)	+101.84% +1.91%	658 (+332) 166,100 (+3,117)	+101.84% +1.91%	6 (0) 1,152 (0)
ProxyAdmin	757,646 (+329,348)	upgrade upgradeAndCall	39,641 (+845) 56,632,018 (+1,579,612)	+2.18% +2.87%	39,650 (+845) 56,632,018 (+1,579,612)	+2.18% +2.87%	39,653 (+845) 56,632,018 (+1,579,612)	+2.18% +2.87%	39,653 (+845) 56,632,018 (+1,579,612)	+2.18% +2.87%	24 (0) 6 (0)
AVSDirectory	3,174,782 (+1,463,555)	initialize	100,637 (+2,514)	+2.56%	100,637 (+2,514)	+2.56%	100,637 (+2,514)	+2.56%	100,637 (+2,514)	+2.56%	6 (0)
ServiceManagerMock	2,632,783 (+1,054,449)	initialize	73,362 (+1,409)	+1.96%	73,362 (+1,409)	+1.96%	73,362 (+1,409)	+1.96%	73,362 (+1,409)	+1.96%	6 (0)
BLSApkRegistryHarness	3,124,237 (+1,317,862)	initializeQuorum setBLSPublicKey	45,978 (+772) 90,107 (+740)	+1.71% +0.83%	45,978 (+772) 90,107 (+740)	+1.71% +0.83%	45,978 (+772) 90,107 (+740)	+1.71% +0.83%	45,978 (+772) 90,107 (+740)	+1.71% +0.83%	1,152 (0) 6 (0)
TransparentUpgradeableProxy	897,999 (+341,241)	fallback	1,544 (+477)	+44.70%	48,066 (+774)	+1.64%	8,110 (+477)	+6.25%	120,000 (+885)	+0.74%	30 (0)
IndexRegistry	1,707,557 (+637,897)	initializeQuorum	45,592 (+528)	+1.17%	45,592 (+528)	+1.17%	45,592 (+528)	+1.17%	45,592 (+528)	+1.17%	1,152 (0)
StrategyManagerMock	2,401,372 (+1,154,891)	setAddresses	89,742 (+597)	+0.67%	89,742 (+597)	+0.67%	89,742 (+597)	+0.67%	89,742 (+597)	+0.67%	6 (0)