Implement procedural macro diagnostics #4930

Job	Run time
build test linux x86-64	3m 4s
build test windows x86-64	5m 10s
check-rust	3m 51s
check-website	12s
scarb-metadata compatibility check	46s
test linux x86-64 1/8	3m 33s
test linux x86-64 2/8	4m 4s
test linux x86-64 3/8	3m 44s
test linux x86-64 4/8	2m 47s
test linux x86-64 5/8	3m 36s
test linux x86-64 6/8	2m 7s
test linux x86-64 7/8	2m 4s
test linux x86-64 8/8	1m 43s
test windows x86-64 1/8	4m 19s
test windows x86-64 2/8	4m 2s
test windows x86-64 3/8	4m 1s
test windows x86-64 4/8	3m 22s
test windows x86-64 5/8	3m 47s
test windows x86-64 6/8	2m 14s
test windows x86-64 7/8	2m 26s
test windows x86-64 8/8	1m 55s
	1h 2m 47s

Provide feedback