Function verify 

pub fn verify(stark: Stark, claim: &Claim, proof: &Proof) -> bool

Verify a proof generated by prove or prove_program.

Use Stark::verify for more verbose verification failures.