tolerate stop_timer on a finalized timer. fixes most of #6075