Updated WLST to use different random number gen