chore(dsolvers/ode_solver): use DREAL_LOG_ERROR for exceptions
tests(nra_ode/simple_par): add test