Add `prefix-symbols` feature #4491

Job	Run time
Build	1m 30s
Coverage	3m 48s
Clippy	23s
Audit	12s
Documentation	27s
Formatting	13s
Fuzz (translate)	3m 16s
Check mininum supported Rust version	19s
Fuzz (execute)	3m 31s
Miri	7m 10s
Fuzz (differential)	3m 23s
Miri (spec)	6m 29s
Test (ubuntu-latest)	1m 27s
Test (Address Sanitizer)	2m 37s
Test (windows-latest)	4m 36s
uDeps	53s
Test (macos-latest)	1m 37s
	41m 51s

Provide feedback