Verification

verify_vrf checks an ECVRF proof and stores it on VrfResult. Oracle core is the only caller. The protocol PDA has to sign.

Optimistic verification and fraud proofs are Milestone 7. They are not sketched in code.