Add `prefix-symbols` feature #4488

Job	Run time
Test (Address Sanitizer)	2m 42s
Check mininum supported Rust version	17s
Audit	8s
Build	46s
Clippy	52s
Documentation	28s
Formatting	16s
Fuzz (translate)	3m 18s
Miri	4m 27s
Miri (spec)	4m 8s
Fuzz (execute)	3m 36s
Fuzz (differential)	3m 25s
Test (ubuntu-latest)	1m 29s
Test (windows-latest)	3m 41s
uDeps	1m 2s
Test (macos-latest)	1m 28s
Coverage	3m 19s
	35m 22s

Provide feedback