Algo::IsHeap

Verifies that the range is a min-heap (parent <= child).