Update tensor_random.h