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

add another bug we found to the list

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