Optimization on Pqueue.update so it stops looking and processing nodes after it finds the one to update