Function verify_proof_bundle 

pub fn verify_proof_bundle(
    bytes: &[u8],
) -> Result<ProofBundleVerification, Error>

Decode and verify opaque canonical proof bundle bytes.

This is the verifying counterpart to inspect_proof_bundle. It chooses the typed proof decoder from the bundle kind, runs the matching verifier, and returns an aggregate record that is convenient across FFI boundaries.