Bug 976063 - Python - make wait_*_not run faster