Function verify_range_proof 

pub fn verify_range_proof<I, V>(
    root: FixedBytes<32>,
    origin: FixedBytes<32>,
    limit: FixedBytes<32>,
    leaves: I,
    proof: &[Bytes],
) -> Result<Option<FixedBytes<32>>, RangeProofError>
where
    I: IntoIterator<Item = (FixedBytes<32>, V)>,
    V: Into<Vec<u8>>,

Verifies a consecutive leaf range against root, starting at origin.

For nonempty leaves, the last returned leaf is the verified right boundary and limit is ignored. A boundary leaf may therefore exceed limit; callers enforcing a response limit must truncate the verified leaves themselves.

When leaves is empty, limit supplies the right boundary of the authenticated empty interval.

Returns a lower bound for the next key, or None if the range exhausts the trie.