Much of the peephole optimizer is now indented badly, but it's about
to be revised anyway.