Replacing custom_stats_timer with timer and fake_timer, which does exactly that.
Templatize the value_type in custom_stats_counter.
Adding static const bool is_real to timer and fake_timer.
Reworking ppq_index_winner_tree: looks good.