Describe promoted MIR quirks

[RalfJung]

Turns out that the MIR of a promoted can contain unchecked array accesses, which is impossible in normal MIR.

Are there any other such quirks? We should get them all documented here.

Cc @ecstatic-morse @oli-obk @eddyb