pub const VERIFY_CYCLES_MEASURED: f64 = 35.12;
Cycles per verification of one core for the built scheme: native simulation (two whole batches, steady state).