redex: fix rvm ordered generation in n benchmark
adjust enum distributions