fix(dsolvers/icp_solver): clean up debugging messages
feat(benchmarks): MOCHAP14 vehichle problem
Merge branch 'stable' of https://github.com/danbryce/dReal into stable