tests(nra): add more testcases for --delta, --delta_heuristic, and --short_sat options