Add rand_uint32 to explicitly get a 32-bit int

Sometimes you want an unsigned, but sometimes you want a specifically
32-bit value.