Aborting a verification attempt in the GUI should also kill the backend threads

Currently, if a verification attempt is aborted, the backend thread continues to run. This was initially caused by cross-platform support problems and not wanting to rely on POSIX. However, the subprocess module should allow for cross-platform killing of Popen objects.
