mark references to `Freeze` objects as read-only with TBAA metadata

[thestinger]

A reference like &int should be marked as read-only in the LLVM IR.

[alexcrichton]

Freeze was removed in #13076

[thestinger]

I'll re-open this based on Unsafe after it gets fleshed out a bit.