Write change of hash function recursive prover

[morganthomas]

We are using a circuit-friendly hash for off-chain proof composition, while using a Blake2b hash for on-chain proof verification, to achieve the best efficiency in both areas (proving and verifying). To bridge the gap, write a recursive proving circuit which verifies a proof over the circuit-friendly hash. Compile this circuit such that it generates proofs over Blake2b.