refactor: Replace defensive .ok() with panic in DFA search
#812
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |
.ok() with panic in DFA search
#812
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |