2757
2758
2759 - testing with traces

The new plan: all tests will call a common top-level (readAll)
and make assertions on the trace left behind after it
completes.

Ambivalent about the initial macros; are they too much of an
'abstraction'?

We'll need ways to slice and dice the trace over time.