Auto merge of #1522 - RalfJung:readme, r=RalfJung
Auto merge of #1522 - RalfJung:readme, r=RalfJung

emphasize that some flags are unsound to use

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri