Implement check for `write_bytes` #6456

Job	Run time
perf	29m 41s
benchcomp-tests	5m 30s
documentation	37s
regression (macos-13)	23m 36s
write-json-symtab-regression	13m 24s
regression (ubuntu-20.04)	22m 1s
regression (ubuntu-22.04)	23m 4s
	1h 57m 53s

Provide feedback