update rc verification harnesses with macros; fix verification failures

Author: v3risec

library/alloc/src/lib.rs

@@ -176,6 +176,7 @@
 #![feature(negative_impls)]
 #![feature(never_type)]
 #![feature(optimize_attribute)]
+#![feature(proc_macro_hygiene)]
 #![feature(rustc_allow_const_fn_unstable)]
 #![feature(rustc_attrs)]
 #![feature(slice_internals)]