preliminary implementation of Sahai-Zhandry.  Not everything working yet.