Added debugging messages for SpecExecScheduler interrupts