feat: save timeout queries for offline solving (#552)

feat: support for TLOAD/TSTORE (#463)

test: disable gc for morpho test (#460)

fix: check infeasible errors (#445)

feat: support for snapshot cheatcodes (#427)

feat: improve logging (#418)

test: add regression tests for previous issues (#412)

fix: manually solve dynamic array overflow conditions (#366)

fix: smt encoding for evm div-by-zero (#271)

fix: concrete exitcode for precompile (#286)