Refactor consistency proofs

Delete NewSize, OldSize fields of types.ConsistencyProof, since they're not part of this object on the wire.

Change method ConsistencyProof.Verify to take two TreeHeads as argument.

Extend merkle.VerifyConsistency to also handle the corner cases where the proof is empty.