Method createShiftOp

\brief Rewrite a double precision shift by replacing hi/lo pieces with unified Varnodes This assumes that we have checked that the transformation is possible by calling the appropriate verify and prepare methods. After this method is called, the logical inputs and output of the calculation will exist as real Varnodes. The \e shift \e amount is not treated as a double precision variable. \param d