fix up an admit in [atomic_cp_with_recover_ok]
fix up an admit in [atomic_cp_with_recover_ok]

fully stepped (with admits) through one of the three OR cases

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