Failed attempt to make apply nodata efficient
Failed attempt to make apply nodata efficient

Somehow apply_build_chunks_nodata is still slow, despite now being a
very simple induction proof that uses no other lemmas and only very
basic tactics (rewrite, unfold, apply and simpl essentially).

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