Measure time spent in the decider loop
Merge branch 'master' into phantom0.2