Improved termination condition in ScriptExecutor, hopefully.
Improved tracing support in ScriptExecutor and GraphicalDebugger.
GraphicalDebugger tended to lock up during execution; in this version this seems over, at the cost of tracing a few kinds of messages.
When these tracings are commented out the lock up returns. There is obviously a race condition somewhere, but its exact nature is yet unknown.