Ben Gamari authored Jan 26, 2023 and Marge Bot committed Jan 27, 2023

`doneWithMsgThrowTo` was previously too strict in asserting that the
`Message` is locked. Specifically, it failed to consider that the
`Message` may not be locked if we are deleting all threads during RTS
shutdown.