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.