native_lib/trace: fix and reenable#4435

RalfJung merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

nia-e:trace-fixupsnia-e/miri:trace-fixupsCopy head branch name to clipboard