A self-documenting, randomized cross-thread stress test for finding unsafe sequences of messages in cases where you expect to handle any exceptions gracefully.