redex: add in-order enumeration to the benchmark

Also, add support for running a single file in parallel.