Document steps to take to reproduce bugs / check for stability

[viper-admin]

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.