Resolves SMT queries via the persistent connection pool or standalone session fallback.
@spec run_smt( String.t(), keyword() ) :: {:ok, :sat | :unsat} | {:error, term()}