Implement incremental solving features in smtfuzz2; add IncrementalContext class and update GenerationConfig with new parameters for push/pop commands. Introduce new third-party modules for ADT, integer, and string operations, enhancing the SMT formula generation capabilities. Remove outdated storm files and documentation. · rainoftime/smtfuzz@22fb128