Added Heap verification