redex: add 'ordered' to benchmark plots

Also fix '-o' option