clarify that the str invariant is a safety, not validity, invariant#117534

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:strRalfJung/rust:strCopy head branch name to clipboard