Reloading traces can fail

[markrtuttle]

With one set of traces loaded into the proof debugger windows, clicking "load traces" can sometimes result in no traces being listed in the proof debugger window. Restarting code and reloading the traces makes the problem go away.