Fix crashes on SPARK translation of large binaries.

include/base/SMPBasicBlock.h

include/base/SMPFunction.h

include/base/SMPInstr.h

include/base/SMPProgram.h

include/interfaces/abstract/STARSProgram.h

src/base/SMPBasicBlock.cpp

src/base/SMPFunction.cpp

src/base/SMPInstr.cpp

src/base/SMPProgram.cpp

src/interfaces/abstract/STARSProgram.cpp

src/interfaces/idapro/STARSIDAInstruction.cpp