Test 20 alleged it was DFA, but was not being run using -dfa. Fixed, and copied some of the tests to the non-DFA tests.
Changed paths: