Rename SingleThreadedScheduler to SingleThreadScheduler, for consistency...

... with NoThreadScheduler