Simplify and modularize aggregate verifier + verifiers

[roger-bai-coinbase]

• TEE proof can be challenged with a ZK proof using intermediary roots
• Game can still progress after a TEE nullification or ZK nullification by providing a proof of the un-nulllified system
• Game can not progress if both proof systems nullified
• Bond for games that cannot progress are unlocked after 2 weeks from initialization time
• Nullifying strictly increases resolution time to allow time to intervene
• Challenges strictly increase resolution time to allow time to nullify the challenge
• Nullification automatically disables the nullified proof system, preventing further proof verifications from any game

[leopoldjoy]

@roger-bai-coinbase Nit: would it be possible to add a description to the PR? I started reviewing it but ran into some difficulty understanding the objectives (particularly in light of all of the different considerations we've been discussing of late).

[roger-bai-coinbase]

@roger-bai-coinbase Nit: would it be possible to add a description to the PR? I started reviewing it but ran into some difficulty understanding the objectives (particularly in light of all of the different considerations we've been discussing of late).

Done

[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