Instead of having the option to set the random seed in certain widgets (i.e. Random Forest), it should be a global option, so that every part of the program that uses stochasticity can be made to be deterministic.