pub(crate) fn worker_seed(seed: U256, worker_id: u32) -> U256
Derives the deterministic RNG seed for a fuzz or invariant worker.
Worker 0 keeps the configured seed, so a single worker replays the same sequence.