Running domains may not claim all the memory they
need right away. Nevertheless they will eventually
use it and it may render the server unusable when
there are many domains starting at the same time.
This precondition check fixes it.

Also failing tests for this issue are fixed.