fix proofs in x64_heapScript.sml

probably broken by something in the change to the HOLHEAP