Create the "racket-extra-test" to reduce dependencies.

It initially contains the two tests that use redex-driven random
testing.