pub const DEFAULT_VERIFICATION_BUDGET: usize = 2_000_000;Expand description
Largest number of distinct unit pairs the precise verifier may inspect.
Candidate generation is deliberately broader than verification; without a second ceiling, every candidate stage can be bounded while their union still asks the expensive sequence aligner to do unbounded work.