pub fn arb_accumulator_extension_proof( ) -> impl Strategy<Value = AccumulatorExtensionProof<TransactionAccumulatorHasher>>