pub const MAX_SPIN_COUNT: u32 = 10_000_000;
Largest spin count accepted when verifying (the documented maximum); a file asking for more would only make verification hang.