Add `prefix-symbols` feature #4482

Job	Run time
Formatting	15s
Documentation	34s
Build	46s
Check mininum supported Rust version	19s
Test (ubuntu-latest)	1m 38s
Test (Address Sanitizer)	2m 40s
Test (windows-latest)	3m 33s
Audit	6s
Clippy	1m 53s
Test (macos-latest)	1m 31s
Coverage	3m 48s
Fuzz (translate)	3m 20s
Miri	9m 53s
Fuzz (execute)	3m 31s
Miri (spec)	9m 21s
Fuzz (differential)	3m 25s
uDeps	6m 20s
	52m 53s

Provide feedback