The dirstate already is capable of verifying its integrity (although v2
features are not yet checked), let's run that code in `hg verify`.