Random Forest setting random seed

[berak]

since this is using the global random generator, you can just seed that:

theRNG().state = 987654321;