refactor(dsolvers/icp_solver): remove m_sol & m_ep
refactor(dsolver/icp_solver): clean up code
refactor(dsolvers/nra_solver.cpp): clean up code
fix(dsolver/icp_solver): remove feasibility check in solver() since it's done in rp_propagator already
feat(realpaver/rp_operator*): mark ctrs used in rp_sat_hull_* and rp_newton
refactor(realpaver/rp_constraint): mark rp_ctr_num_*_inner if it generates an empty interval
fix(dsolvers/ode_solver): fix style (#include <algorithm>)
tests(nra): add more testcases for --delta, --delta_heuristic, and --short_sat options