The issue in #4367 would likely have been found a lot faster if Miri artificially shortened reads/writes sometimes. I'm thinking of a heuristic like, with 50% probability only try to read/write half as much as was requested. (But we probably need to still read/write at least 1 byte -- 0-byte reads have different semantics IIRC?)

Cc @tiif @Noratrieb