tests(nra_ode): add Fedor's smt2s
benchmarks(crazyflie): add stabilizer.drh