Added ProbabilityModel

This should improve asymptotic performance of multidice, was horrible before.  Now less horrible time performance, still horrible memory efficiency.