NAND-of-XORs as an equality check

A way to implement equality is this, which may be a little more LUT-friendly depending on where the cell P&R is going.

```scala
~(lhs ^ rhs).andR()
```

I might test this later to explore other options...