speed up FileRecArray proofs
speed up FileRecArray proofs

maybe this will get the nightly builds un-stuck

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