Finished NFA=>DFA conversion

Probably riddled with bugs, but the testcase works.