End-to-end: real proof -> enter() on testnet

[samjay8]

Using the corridor-circuits fixture + the M3 verifier: generate a proof, deploy the verifier with its VK, point a test policy at it, call enter. A tampered proof must return ProofInvalid. Add a nightly CI job that runs the full loop.