Clean up verify code in DirichletDistribution.