Fixed a bug in the discharge operation. Must acquire lock before checking vertices for excess flow in the discharge operatoin, before the relabel