Improvements to TimesliceAnalyzer checks and output

[cuveland]

This contains various changes to the TimesliceAnalyzer checks. Most of them are still untested. Should probably be tested and refined before merging.