It turns out resume is slower from a compressed .vmem, probably because of excessive fragmentation.
But *REDO* files are better off compressed.
One could compress the *REDO*'s and leave uncompressed the .vmem for faster resumes.
But then when a VM shuts down they are both deleted and recreated at the next startup as compressed if the directory they are in is compressed, or both uncompressed otherwise.
Can the directory of the *REDO*'s be different than the directory of the .vmem, so they are compressed but .vmem is not?