mcsat heuristic update -- use similar heuristic parameters as in cdclt #68

Job	Run time
windows-latest\|debug\|	13m 41s
windows-latest\|debug\|--enable-thread-safety	13m 33s
windows-latest\|release\|	12m 51s
windows-latest\|release\|--enable-thread-safety	15m 40s
	55m 45s

Provide feedback