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, from origin through limit.

When leaves is empty, limit supplies the response’s right boundary so an empty interval can be authenticated without requiring a leaf past the limit.

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