This is to ensure the full state space is explored. malloc (and re-use,
after zeroing) large in-memory buffers for use in the tests, as these
will not potentially fill the way smaller stack-allocated ones can.