Document steps to take to reproduce bugs / check for stability

> Created by **@alexanderjsummers** on 2020-01-13 16:57

For both Silicon and Carbon there are parallelization options to disable, different ways to pass a random seed to Z3, and ways to obtain a rerunnable output file. We should document these steps.
