Record the same last step value to disk as we store in memory (should be one less than the final state Step value).
Write the proof for the last step to disk to avoid needing to regenerate it even once.