increase the timeout for the ryr tests

(redex's default generation strategy changed to use more
randomization, so these tests are probably affected by that)

Author: rfindler

redex-test/redex/tests/ryr-test.rkt

@@ -51,5 +51,5 @@
 
 (module+ test
   (module config info
-    (define timeout 200)
+    (define timeout 400)
     (define random? #t)))