Cleanup: Avoid repeating signatures, get rid of to_bytes hack#568

RalfJung merged 3 commits intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:cleanupRalfJung/miri:cleanupCopy head branch name to clipboard