pub const DEFAULT_MAX_STATES: usize = 1_000_000;
Default cap on result-state count for DFA / minimize / not.