CPI integration

Oracle core calls verify_vrf on the verification program. The callee of a request implements an Anchor instruction named callback with a 64-byte output and a byte vector, and with no accounts. The discriminator is defined in ADR 0006.