First-cut implementation of the lazy scheduler.
Oops. Forgot to add new lazy scheduler header file and move worker.cc to temp.