iris.sty incompatible with acmart

The \nequiv macro in iris.sty clashes with something that is import by the acm template. In our own papers, we work around this by undefining \nequiv locally, but that's not great.

We should either always overwrite whatever the existing \nequiv is, or else change the name of our macro.