I would mention that if it were true :-)  Your assertion fails.

The underlying range is only sorted after complete iteration. This fact is already mentioned in the documentation of `BinaryHeap` so I see no value in stating it again.