Switched the SpecExecScheduler's interruption flag to be just a regular boolean isntead of an AtomicBoolean