checkpoint progress on AtomicCp.copy2temp_ok
checkpoint progress on AtomicCp.copy2temp_ok

mostly proven except some list2nmem facts

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl