Rerecording and fixing the LaTeX log.

Adding some verbose debugging outputs to the replayer.