Add `prefix-symbols` feature #4481

Job	Run time
Documentation	31s
Formatting	16s
Build	27s
Audit	8s
Check mininum supported Rust version	21s
Test (ubuntu-latest)	1m 29s
Test (Address Sanitizer)	1m 32s
uDeps	1m 32s
Clippy	45s
Test (windows-latest)	1m 8s
Coverage	1m 17s
Fuzz (translate)	1m 32s
Test (macos-latest)	1m 33s
Fuzz (execute)	1m 28s
Fuzz (differential)	1m 30s
Miri	1m 31s
Miri (spec)	1m 31s
	18m 31s

Provide feedback