Document state machines and message/cell enforcement for circuits, streams
To help with work on proposal 349, I should write up a technical note explaining which parts of the arti code perform the equivalent state machine validation today, and how they work.