Today I finished the changes for undo/redo and fixed an issue that caused sketch faces to appear after a translate undo. The problem was caused by the MakeFace function, which in some cases created an incomplete Face node in the Document Tree. You can find the most recent code changes here.
Below you can see Translate, Undo and Redo performed on a solid obtained using Cut to Depth and Cut through all. One of the sketches is then edited and the changes are correctly reflected in the cut solid: