Thread#raise is often very very sensitive to race conditions, so we should remove these tags lightly. Only if running this for dozens of times on different platforms shows no issue, I think we can untag them.