For x86_32 Loom port work, I suspected we could get wrong thread is relevant registers. I ended up sprinkling the arch-specific code with new thread verification sites, and I think that would be nice to have as the generic improvement.