redex-generator: determine bound order automatically

also, fix a bug where continuations in thunks returned
by redex-generator weren't being shuffled