Progress towards the new FSM discovery algorithm

We've got a partial implementation of the algorithm in place but had to stop in midstream because we ran out of time.  This compiles but it's far from working.