Quick debugging additions to SpecExecScheduler...