Feat: accept array of initial proposers in TEEProverRegistry.initialize

[leopoldjoy]

Summary

• Changes TEEProverRegistry.initialize to accept address[] memory initialProposers instead of a single address initialProposer, enabling multiple proposers to be registered at deployment time.
• Updates all call sites: deployment scripts (DeployDevNoNitro, DeployDevWithNitro), and tests (TEEProverRegistry.t.sol, TEEVerifier.t.sol, Initializable.t.sol).
• Bumps semver from 0.3.0 to 0.4.0 (breaking signature change).

[cb-heimdall]

✅ Heimdall Review Status

Requirement	Status	More Info
Reviews	✅ 1/1	Denominator calculation Show calculation 1 if user is bot 0 1 if user is external 0 2 if repo is sensitive 0 From .codeflow.yml 1 Additional review requirements Show calculation Max 0 0 From CODEOWNERS 0 Global minimum 0 Max 1 1 1 if commit is unverified 0 Sum 1