MemLog: add an unproven [crash_xform_would_recover_either'] theorem
MemLog: add an unproven [crash_xform_would_recover_either'] theorem

states that [would_recover_either'] is preserved under crash_xform

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