Added temporary hooks so that we can just profile the SpecExecScheduler