update [FS.recover_ok] proof to match latest MemLog API
update [FS.recover_ok] proof to match latest MemLog API

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