Function check_memory_accesses

pub fn check_memory_accesses(input: MemoryAccesses)

Oracle to perform the described memory accesses and check that they are all in- or out-of-bounds as expected