Delete random-taocp_reds_test.reds

t