[NEW] Lower ICmp instructions if there is a verifier.assume in the same block
[NEW] Lower ICmp instructions if there is a verifier.assume in the same block

caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm