Implement procedural macro diagnostics #4988

Job	Run time
check-rust	4m 8s
build test linux x86-64	5m 3s
check-website	13s
scarb-metadata compatibility check	36s
build test windows x86-64	7m 29s
test linux x86-64 1/8	3m 59s
test linux x86-64 2/8	4m 12s
test linux x86-64 3/8	3m 52s
test linux x86-64 4/8	3m 15s
test linux x86-64 5/8	3m 51s
test linux x86-64 6/8	1m 45s
test linux x86-64 7/8	2m 21s
test linux x86-64 8/8	2m 4s
test windows x86-64 1/8	3m 51s
test windows x86-64 2/8	4m 7s
test windows x86-64 3/8	4m 11s
test windows x86-64 4/8	3m 33s
test windows x86-64 5/8	3m 36s
test windows x86-64 6/8	2m 7s
test windows x86-64 7/8	2m 31s
test windows x86-64 8/8	2m 23s
	1h 9m 7s

Provide feedback