I ported redundant from CPS to SSA. Seems to work on all of the regressions. Spot checking a few regressions and benchmarks, it doesn't seem to do much in practice. Is it really cleaning up after one of the other simplification passes?