don't use `#[miri_run]` anymore, but execute the `main` function#23

solson merged 5 commits intorust-lang:masterrust-lang/miri:masterfrom

oli-obk:miri_run_no_moreCopy head branch name to clipboard