We have no test which checks whether `write_aggregate` resets storage to uninit

[RalfJung]

After commenting out this line, the Miri test suite still passes (with --bless).

We clearly should have a test that actually checks that we reset the memory to "uninit".