Reseting tic/toc in scheduler_start()
In `scheduler_start()`, we set the tic and toc of each task to `0`. Do we really need to do do this for *all* tasks or could we do it for the active tasks only?
issue