Dirty hack for Dispose

DisposeSynced was made public so that the Scheduler can be disposed of
even when it wasn't used.

TODO: Find better solution