Cannot detach from the kernel debugging and keep the guest system running

Right now, when we detach/quit from a kernel debugging session, it always cause the guest system to enter into a paused state. However, if I use WinDbg to connect to the guest, I can decide if I wish to keep the system running after I detach from it. That is, if I pause the system before I detach, the system will remain paused. If I do not pause it before detaching from it, the system will remain in the running state.

I believe after we detach from it and the guest is paused, it is still in a sane state. Since, if I re-connect to its kernel, I can debug it just fine. This seems to suggest that we are simply doing an extra pause before we detach from the kernel debugging session, but preliminary investigation shows that trying to detach from the kernel debugging session while the target is running leads to a no-operation. So I am not sure how I can detach from the kernel debugging without first pausing it at all.

Reproduce detaching from kernel debugging while the guest is running and while it is paused, then trace the debugger's detach and guest-state handling. Done means detaching preserves the guest's pre-detach running or paused state, while still allowing a later kernel-debugging reconnection.