> Similarly, a good optimizer will strip away layers of software abstraction and make what's actually happening more evident.

I can attest to this, I've found it's frequently far more satisfying to debug at -O3 than -O0. At O3, the disassembly really lays bare the invalid assumptions that were relied upon.