prove various cheats in replCorrectScript.sml

all to do with locations being in the domain of the store.