util: introduce CHECK_EQ/CHECK_NE