overflow + saturation stuff

Further, with respect to proposed rotate operations, as with add's etc.
carry semantics; all forms of shift/rotate may be specified with a single
shift instruction with a tag specifying the source of in-shift bits (being
that shifted out, dup, or 0); if an operation's tag is meant to affect the
semantics of the specified operation.