Auto merge of #1128 - RalfJung:cleanup, r=RalfJung
Auto merge of #1128 - RalfJung:cleanup, r=RalfJung

use new try_from methods

and a bit of other cleanup

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