Add `prefix-symbols` feature #4490

Job	Run time
Check mininum supported Rust version	24s
Documentation	30s
Formatting	12s
Build	1m 36s
Audit	7s
Fuzz (translate)	3m 19s
Miri	7m 11s
Miri (spec)	6m 32s
Fuzz (execute)	3m 23s
Test (ubuntu-latest)	1m 43s
Fuzz (differential)	3m 24s
Test (windows-latest)	3m 49s
Test (Address Sanitizer)	2m 46s
Test (macos-latest)	1m 25s
uDeps	48s
Clippy	50s
Coverage	3m 55s
	41m 54s

Provide feedback