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

note Miri's leak check abilities and that they are disabled on Windows

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