Add timing measurements for analysis

[Woutuuur]

This branch simply instruments the phase skipping logic with timing measurements which we use during evaluation in the thesis. It is separated from the main branch because the time measurements incur a performance overhead which should not be present in the main evaluation.