Interpreter: Expose the random seed that the interpreter uses as a config parameter

[joey-coleman]

The random seed in AbstractInspectionVisitor.java should be exposed somewhere as a configurable preference for the interpreter.