Add debug assertions to write_bytes and copy*#62103

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:debug-assertRalfJung/rust:debug-assertCopy head branch name to clipboard