Remove StateManager

Remove StateManager

The StateManager class was created to wrap
some of the functionality used in tiny_simgrid,
but it turns out that this functionality isn't
actually needed. States are managed entirely
by the UdporChecker/UDPOR in what is
effectively a stack, and it doesn't make sense
for events to talk about states when states
are associated with configurations