Document more of how to debug HIR

[rylev]

There is the beginnings of a chapter on debugging the HIR, but it is pretty sparse. Is there more or can this be moved somewhere else?

[jieyouxu]

Triage: this is still fairly sparse, especially cf. #1167 how HIR is structued, what do the pieces mean, etc.