Paused sandboxes keep their memory when many pause at once

A sandbox told it was paused is now written to disk early enough even while many other sandboxes on its server are pausing too. Before, one could wait too long behind them, and wake from its disk alone with its memory lost. See pause and wake.