Integrating RAM and Disk Based Verification within the Murphi Verifier