further improvements to Sahai-Zhandry: all two-input gates work
got ID and NOT gates working (mostly)