doit() returns exitcode from GPUVerify.py