Append 5 -> 7 leaves: 2 proof hashes, accepted True, forged leaf accepted False
Consistency 5 -> 7 leaves: 4 proof hashes, accepted True
Update leaf 2: 4 proof hashes, accepted True, forged leaf accepted False
Delete 7 -> 5 leaves: 4 proof hashes, accepted True
