Embed Notice

Alternatively, I could allow atomically sending 2 messages together.

That's not something I can/want to do in reality, so doing that in the model could potentially hide some bugs.

Oh, also, I tried just disabling deadlock checking, but I have my own liveness properties which also fail when the client gets stuck :/

I guess per-client queues it is... I haven't started testing with multiple clients anyway, so the state space is a Future Wolf problem.