Added an option to generate a timeline of state transitions, in contrast to the existing timeline of computed states. This is primarily intended for debugging of the latter, but may also be useful for certain kinds of analyses.