pub fn arb_natural(n: usize) -> impl Strategy<Value = BigInt>
Strategy to generate an arbitrary non-negative BigInt