Rename SingleThreadedScheduler to SingleThreadScheduler, for consistency with NoThreadScheduler