Make Compile_simple wrapper provide in circuit abstraction for verifying recursive proofs soundly

[L-as]

Right now you need to take the public input and the proof as witnesses, and need to remember to verify the proof. Very suboptimal.