Checkpoints defined by the guest, not the host, was something I was working on recently too [1] (just before this came out). Very validating!

[1] https://github.com/danthegoodman1/checker