Inode.v: fix [isetsz_ok] spec to say it preserves the block list
Inode.v: fix [isetsz_ok] spec to say it preserves the block list

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