Update red.reds

Added #include of utility/random-common.reds