isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domains