heap: de-verbose downheap and unit test