Removing the experimental cleanup functionality

The checkpoint functionality was an experimental feature that was added a few years ago as a way to capture the current state of execution and storing it to stable storage. An implementation of the feature ran on the MSP430.

The feature was cool but wasn't used, and it is time to remove it.