adjust #:enum arg to redex-check to be back like 6.0,
add #:uniform-at-random argument and #:in-order argument
change redex-check's default strategy to do both
enumeration and random generation in a manner
supported by our study