Fix proofs through file_truncate_ok. Step hasn't gotten faster.
Fix proofs through file_truncate_ok. Step hasn't gotten faster.

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