Reduce parseSMT memory usage and improve performance#48

p2004a merged 2 commits intobeyond-all-reason:masterbeyond-all-reason/map-parser:masterfrom

burnhamrobertp:perf/parsesmt-direct-blitburnhamrobertp/bar-map-parser:perf/parsesmt-direct-blitCopy head branch name to clipboard