`*RecursiveVerifier.verify_proof` should receive `StdlibProof` rather than `HonkProof` as argument

[maramihali]

We are currently constructing a StdlibProof from a HonkProof inside the recursive verifiers which is an insecure pattern. Moreover, not hashing the verification key leads to potential weak Fiat-Shamir issues.