refactor: Replace defensive .ok() with panic in DFA search
#811
| Job | Run time |
|---|---|
| 43s | |
| 43s |
.ok() with panic in DFA search
#811
| Job | Run time |
|---|---|
| 43s | |
| 43s |