Constant miri::MIRI_DEFAULT_ARGS

pub const MIRI_DEFAULT_ARGS: &'static [&'static str];

Insert rustc arguments at the beginning of the argument list that Miri wants to be set per default, for maximal validation power.