Added sections about debugging mis-compilations and incorrect code generation.