Fixes the termination of our program when an abnormal exception occurs (such as [Still_has_children]). This commit attempts to unblock domains (particularly if they are waiting for a system event), cleanly join them, and restart the exception that abnormally terminated one of the domains. We handle the case for domains as well as [dom0].