I accidentally discovered `assert_threads_not_stuck` couldn't fail, so
the simplest solution was to prove they're all now working in both
directions.

If the thread isn't yet holding any form of lock, it has no claim over
what may / may not run while it's blocked.