Function check_range_in_bounds 

pub fn check_range_in_bounds(
    total_len: usize,
    offset: usize,
    size: usize,
    label: &str,
) -> Result<(), BinaryLayoutError>

Validates that [offset, offset + size) is within total_len.