Fix and prove indread
Fix and prove indread

This proves reading of indirect blocks with the modified (and hopefully correct)
rep function.

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