Let measure-complexity output the worst performing verification tasks by resource count

Let measure-complexity output the worst performing verification tasks by resource count #8276