Adjust dump-timing to ignore the extra data, for now. Also do some general instrumentation cleanup.
This writes timeline data to a .json file, which can be examined later to find likely candidates for optimization.