[galaxy-dev] [hg] galaxy 1601: Apply James' faster_random patch from Nov 1.