Function verify_stwo_proof

pub fn verify_stwo_proof(
    proof: CairoProof<Blake2sMerkleHasher>,
) -> Result<BankaiBlock, VerifyError>