Auto merge of #116988 - RalfJung:null, r=WaffleLapkin

document that the null pointer has the 0 address

Fixes rust-lang/rust#116895

Will need t-lang FCP, but I think this is fairly uncontroversial -- there's probably already tons of code out there that relies on this.

Author: bors