Function check_slice_in_bounds 

pub fn check_slice_in_bounds(
    bytes: &[u8],
    offset: usize,
    size: usize,
    label: &str,
) -> Result<(), BinaryLayoutError>

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