pub const BATCH: u64 = 1000;
Runs are executed this many at a time, and each batch has a random stream of its own. The size is fixed: changing it changes the output for a given seed.