Clean up apply_chunks proofs
Clean up apply_chunks proofs

Prevent simpl on apply_chunks in the vernacular for safety and then use
simpl more liberally.

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