Fixed another leak in fibheap. Fixed clear() bug in heap_cache. Added
more TODOs.