memblog-2 checkpoint: about to add integrity

TODO: in a future post show how to do this with LIORefs vs. explicitly
checking if current computation can modify element.
done with memblog2