Add srem, urem, shift, ext operators to c++ api
Add srem, urem, shift, ext operators to c++ api

kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,seahorn/z3