Use conservative stack size for SMT2 on MacOS