Add verify_counter_converge.