SlowByteFile: prove compute-heavy goal
SlowByteFile: prove compute-heavy goal

turns out that having a tight bound makes it easier to prove

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