Close #10: Allow for large DFAs
Issue #10: don't limit memory usage