Function verify_write_propagation 

pub(crate) fn verify_write_propagation(
    ctx: &mut Ctx,
    label: &str,
    writer: usize,
    reader: usize,
    offset: usize,
    value: u8,
)

Verify that a write through one alias is visible through another one.