Fix proofs w/r/t merkle_roots