pub const HARAKA_LANE_LUT: f64 = 23_902.0;
Haraka chain-step lane, Vivado OOC routed.
Unit: CLB LUTs per lane, all S-boxes in LUTs. A slice has three.