Auto merge of #827 - lzutao:patch-1, r=RalfJung
Auto merge of #827 - lzutao:patch-1, r=RalfJung

Remove stable cargo feature `default-run`

At least on beta.

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