AlgoImpl::IsHeapInternal

Verifies that the range is a min-heap (parent <= child) This is the internal function used by IsHeap overrides.