Not having heard objections in this thread or at the community meeting, I plan to make further iterations on this proposal en route to a full RFC:
- First, I will implement a prototype testbench using the fuzzer, in which programs are generated according to some time or memory budget and the generated programs are compiled and tested against some set of simple test oracles.
- If the prototype testbench works as intended, I will document it and present the material here along with the testbench in a full RFC.