Remove STM dependency by storing state in GhciState purely