Move topological ordering to EventSet

Move topological ordering to EventSet

The events of an EventSet can be ordered
topologically by considering them as part
of the configuration containing the histories
of all events in the set. The trick is to
ignore adding in an event into the ordering
if the event is not contained in the original
set itself