improve bit-blasting for the case (bvsrem var power-of-two) We will now transform bvsrem into an extract + zero extend Gives ~40% speedup in selected benchmarks
improve bit-blasting for the case (bvsrem var power-of-two)
We will now transform bvsrem into an extract + zero extend
Gives ~40% speedup in selected benchmarks

Signed-off-by: Nuno Lopes <cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com>

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