pub const DEFAULT_RUNS: u64 = 100;
How many inputs a property block is run with when nothing says otherwise.
property