Please copy the version from `support/rand.c` that has a bug fix for multi-threaded use.  We should check how many other places use this same function: it might be worth creating an include file (separate from `wt_internal.h`) with an inlined function?