Fix smtio.py for large SMT2 S-expressions
Fix smtio.py for large SMT2 S-expressions

YosysHQ/yosys,SymbiFlow/yosys,YosysHQ/yosys,azonenberg/yosys,SymbiFlow/yosys,cliffordwolf/yosys,antmicro/yosys,cliffordwolf/yosys,YosysHQ/yosys,antmicro/yosys,azonenberg/yosys,YosysHQ/yosys,azonenberg/yosys,YosysHQ/yosys,antmicro/yosys,antmicro/yosys,cliffordwolf/yosys,cliffordwolf/yosys,azonenberg/yosys,antmicro/yosys,SymbiFlow/yosys,SymbiFlow/yosys,YosysHQ/yosys,SymbiFlow/yosys,SymbiFlow/yosys,cliffordwolf/yosys,cliffordwolf/yosys,azonenberg/yosys,azonenberg/yosys,cliffordwolf/yosys,antmicro/yosys,YosysHQ/yosys,SymbiFlow/yosys,azonenberg/yosys,azonenberg/yosys,SymbiFlow/yosys,antmicro/yosys,antmicro/yosys,cliffordwolf/yosys,azonenberg/yosys,YosysHQ/yosys,cliffordwolf/yosys