test(L1): cover Denim proof cutover

[0x00101010]

• Cover a 6,000/300 proof range whose endpoint crosses Denim, including exact timestamp and schedule selection.
• Verify a new aggregate-verifier game type can parent a previously respected old-type game.

[cb-heimdall]

🟡 Heimdall Review Status

Requirement	Status	More Info
Reviews	🟡 0/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