We had some code in shHeap that largely duplicated existing functionality in the shVerify. This change just reuses the existing code (which has nicer assert messages).