Function verify_range_proof 

pub fn verify_range_proof<I, V>(
    root: B256,
    origin: B256,
    limit: B256,
    leaves: I,
    proof: &[Bytes],
) -> Result<Option<B256>, RangeProofError>
where
    I: IntoIterator<Item = (B256, 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.