Test cases where we/them perform invalid reads or writes will now always fail instead of non-deterministically fail