Previously, the parameters passed to the optimizer were all of the same type (i.e. names of the optimization passes). Additionally, the order in which they appeared on the command line actually mattered. But `debug` is not an optimization pass, and it is not order-sensitive, so it seems clearer to me to have it marked out differently (i.e. with the `--` prefix.)