Reference validity

[Manishearth]

Reference validity has not been figured out yet: rust-lang/unsafe-code-guidelines#77

For our purposes perhaps we can mention this but provide "for a reference to be valid pointed-to data must be valid" as an approximation