We should:
- Ensure that the fuzzer is up to date: that all the commands work correctly.
- Add more documentation on how to run it, and their requirements.
- Add more documentation on what does it do.
Also, some of the generated programs are not valid (the do not compile), as pointed out by #2246. However, when running the fuzzer, I don't get any errors. We should investigate why is the error being ignored, and make sure it doesn't happen again.