Add ProductMixture::validate_subset function
Split off product_mixture.cc from product_mixture.hpp
Switch from diff_add_step_*_of_2 to diff_add while debugging