Implement scheduler/executor stop/abort
Various executor bug fixes
Improvements to launch_tasks method