Should we have a system fuzzer?

[ludamad]

Idea is to have modules for generating random samples of any conceivable part of a valid transaction (contract, contract calls with inputs that refer to existing notes, etc) and have a long (but seeded randomness) fuzzing process kick off every night, running some amount of time proportional to how much variability there is in the fuzzer.

Would require ability to create random examples of Noir contracts. This might be useful either way, and can be done incrementally. Or we could settle for calling a variety of them.

No priority in mind, but seems good to smoke test for stability (e.g. no new shallow race conditions) before updating a test-net.