[mlir][SMT] restore custom builder for forall/exists#135470

makslevental merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

makslevental:makslevental/fix-smt-asanmakslevental/llvm-project:makslevental/fix-smt-asanCopy head branch name to clipboard