add unit test to guard againt self-loops that don't exist

due to drift, control constraints (Uset) and dynamics
update to Polytope.intersect accepting only Polytopes
don't import box2poly separately from polytope