Print result of invariant check
Don't choke on closed file descriptor in fuzzer
Add HTML tool for visualizing the timing of event traces