Function verify_range 

pub fn verify_range(proof: &PredicateProof, lo: u64, hi: u64) -> bool

Verify a PredicateProof produced by prove_range against public bounds lo and hi. Returns true iff valid for that exact [lo, hi] pair. Public inputs are supplied in the circuit’s allocation order [lo, hi].