fix: concrete exitcode for precompile (a16z#286)

chore: bump default python version to 3.12 (a16z#278)

docs: small fixes for `getting-started.md` (a16z#258)

fix: byte check + console.log (a16z#239)

handle SIGINT and SIGTERM (a16z#210)

feat: smt solving refinement (a16z#203)

fix: resolving address alias for infeasible paths (a16z#195)

refactor: storage layout handling (a16z#194)

feat: add support for custom storage layouts (a16z#192)

feat: summarized warnings (a16z#183)