Update names of contract macros as per macro renaming

tests/coverage.h

@@ -49,24 +49,39 @@
 #undef M_UNLIKELY
 #undef M_MEMORY_FULL
 #undef M_SWAP
-#undef STRINGI_CONTRACT
+#undef M_ARRA4_CONTRACT
-#undef ARRAYI_CONTRACT
+#undef M_B1TSET_CONTRACT
-#undef LIST_CONTRACT
+#undef M_BPTR33_NODE_CONTRACT
-#undef DICTI_CONTRACT
+#undef M_BPTR33_NODE_CONTRACT
-#undef DICTI_OA_CONTRACT
+#undef M_BPTR33_CONTRACT
-#undef SHAREDI_CONTRACT
+#undef M_BUFF3R_CONTRACT
-#undef SHAREDI_RESSOURCE_CONTRACT
+#undef M_BUFF3R_PROTECTED_CONTRACT
-#undef BUFFERI_CONTRACT
+#undef M_QU3UE_MPMC_CONTRACT
-#undef BUFFERI_PROTECTED_CONTRACT
+#undef M_QU3UE_MPMC_CONTRACT
-#undef ILISTI_CONTRACT
+#undef M_QU3UE_SPSC_CONTRACT
-#undef DEQUEI_CONTRACT
+#undef M_QU3UE_SPSC_CONTRACT
-#undef QUEUEI_MPMC_CONTRACT
+#undef M_C0NCURRENT_CONTRACT
-#undef RBTREEI_CONTRACT_NODE
+#undef M_D3QU3_CONTRACT
-#undef RBTREEI_CONTRACT
+#undef M_D1CT_CONTRACT
-#undef BPTREEI_NODE_CONTRACT
+#undef M_D1CT_OA_CONTRACT
-#undef BPTREEI_CONTRACT
+#undef M_GEN1NT_CONTRACT
-#undef LISTI_CONTRACT
+#undef M_IL1ST_CONTRACT
-#undef LISTI_DUAL_PUSH_CONTRACT
+#undef M_IL1ST_NODE_CONTRACT
+#undef M_L1ST_CONTRACT
+#undef M_L1ST_DUAL_PUSH_CONTRACT
+#undef M_M3MPOOL_CONTRACT
+#undef M_RBTR33_CONTRACT
+#undef M_RBTR33_CONTRACT_NODE
+#undef M_SHAR3D_CONTRACT
+#undef M_SHAR3D_RESOURCE_CONTRACT
+#undef M_SNAPSH0T_SPSC_FLAGS_CONTRACT
+#undef M_SNAPSH0T_SPSC_CONTRACT
+#undef M_SNAPSH0T_SPMC_INT_CONTRACT
+#undef M_SNAPSH0T_SPMC_CONTRACT
+#undef M_STR1NG_CONTRACT
+#undef M_BOUNDED_STR1NG_CONTRACT
+#undef M_TUPL3_CONTRACT
+#undef M_VAR1ANT_CONTRACT
 #undef NDEBUG
 #undef atomic_init
 #undef atomic_load