Made some more assertions to track time_steward bugs; fixed a bug
Added more validation and fixed a memory error.
Fixed more errors of thought.

bouncy_circles ran once without assertion failures,
   using the random event order. However, the equivalence
   checks still fail.
Fixed the buggy equivalence check. It succeeds!!