Fix for bug in CHTreap where adding the same object with a lower priority corrupts the tree.