Add crash condition to [treeseq_file_grow_ok] and fix up proof.
Add crash condition to [treeseq_file_grow_ok] and fix up proof.

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