Cleaned up the presentation of delayed normalization and made it more robust that fixed bugs including one where we got nil back from getLowestBranch before we detected the need to perform delayed normalization. Cleaned up some output messages. Added a note on how to implement parallel/true delayed normalization. Removed call to relabelSubtree in weakPush that caused bug with DN where the branch was already in bucket #1 and we later relabeled it while keeping it in bucket #1. Fixed some bugs and added debugging method to deal with NodeBuckets.
Cleaned up the presentation of delayed normalization and made it more
robust that fixed bugs including one where we got nil back from
getLowestBranch before we detected the need to perform delayed normalization.
Cleaned up some output messages.
Added a note on how to implement parallel/true delayed normalization.
Removed call to relabelSubtree in weakPush that caused bug with DN where
the branch was already in bucket #1 and we later relabeled it while keeping
it in bucket #1.
Fixed some bugs and added debugging method to deal with NodeBuckets.

cander/pseudoflow-solver,cander/pseudoflow-solver