Add assertions about MultipleRootedProducts

(PR for Travis)