Resolve conflicts between iris.sty and acmart

\nequiv and \state now both exist in acmart so we have to pick different names.

sed script for fixing documents:

sed -i -E -f- *.tex <<EOF
s/\\\nequiv\b/\\\dist/g
s/\\\nincl\b/\\\subseteqN/g
s/\\\notnequiv\b/\\\ndist/g
s/\\\nequivset\b/\\\distset/g
s/\\\state\b/\\\ste/g
EOF