Function verify_byte 

pub(crate) fn verify_byte(
    ctx: &mut Ctx,
    label: &str,
    addr: usize,
    offset: usize,
    expected: u8,
)

Check one byte in the source region.