IllegalStates: detecting illegal states in TR FSMs

Twisted-ring FSMs have some nice properties. Can we somehow get around
one of their downsides, viz., the difficulty of efficiently detecting
that we're in an illegal state?