This enables a number of previously disabled tests which actually pass.
This also tidies up the naming of some of the regular tests.

This disable remaining tests which actually still use too much resource
for `go-corset`.  Potentially, we should be considering some kind of
graceful exit when this happens.

Situations where it gets stuck:

(1) Actually reading the trace file.