work through some of the messy fold induction details using a rewrite. still think that hash_block_equiv and fold_equiv with induction is the right way to go82394732984yriudhfksdjhfi8y98