Function verify_segment_ranges 

pub(crate) fn verify_segment_ranges(
    footer: &[FooterEntry],
    footer_start: usize,
) -> Result<()>

Checks that the segments footer describes tile the object body: the first starts right after the header, each follows the previous one without a gap or overlap, and the last ends where the footer at footer_start begins.