MemLog: improve the [array_match] automation and make use of the SepAuto tweaks to automate much of [flush_unsync_ok]
MemLog: improve the [array_match] automation and make use of the SepAuto tweaks to automate much of [flush_unsync_ok]

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