Add `prefix-symbols` feature #4489

Job	Run time
Check mininum supported Rust version	21s
Test (ubuntu-latest)	1m 31s
Test (Address Sanitizer)	2m 41s
Test (windows-latest)	3m 39s
Audit	8s
Test (macos-latest)	1m 51s
Build	2m 1s
Documentation	28s
Formatting	17s
Fuzz (translate)	3m 17s
uDeps	50s
Fuzz (execute)	3m 32s
Fuzz (differential)	3m 35s
Clippy	48s
Coverage	3m 56s
Miri	7m 9s
Miri (spec)	6m 23s
	42m 27s

Provide feedback