* master: (23 commits)
  Update make_VMTests.py (#1628)
  Update manticore.py (#1627)
  Symbolic function strategies. (#1609)
  Fix for returndatasize (#1612)
  Improve balance related exploration (#1615)
  Add __format__ to Account (#1613)
  Use `mypy` to check the `tests` dir; fix some typing errors (#1610)
  Add a native example program & test case for #1604 (#1606)
  Hotfix: add long_description_content_type
  Manticore 0.3.3 (#1598)
  Improve WASM Memory Ergonomics (#1589)
  Make sure std files are not None before assigning peer (#1604)
  Add Examples badge to CI Badges (#1603)
  Better iterative optimization for expressions (#1599)
  Fix Regression(s) (#1577)
  Add missing `python3-dev` dep to quickstart instructions (#1600)
  Add license to setup.py (#1597)
  Streamline State Serialization Interface (#1596)
  Simplify ci.yml (#1588)
  Fix gas check (#1587)
  ...