Fix bug in determining max_run_time with splay

Since all child threads use the same seed, we need to reseed the random generator with the pid so that we get a new "random" number.  Also using mt_rand instead of rand since it is faster.