Auto merge of #1053 - RalfJung:clean, r=RalfJung
Auto merge of #1053 - RalfJung:clean, r=RalfJung

remove no-longer-needed zero checks

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