relax does not advance time
gui: also disable relax button if appropriate
prepare for kernel cache
implement kernel cache load/store logic
implement full kernel cache