v0.1.6: Implement contract calls and basic host functions (#7)
* contract calls and basic host functions
* add TODO comment
* new config cells
* implement output checks
* implement host functions for the counter contract
* Set Version: 0.1.4
* format and fix code quality checks on CI
* add simulation integration tests
* reset `<stylus-output>` at `callStylus`
* add wast test for `storage_load_bytes32`
* add wast test `storage_set_and_get.wast`
* more wast tests
* add comments to wast tests
* add the counter test as submodule
* add comments and update README.md
* Dockerfile: add rust toolchain
* add test dependencies
* fetch submodules
* upgrade rustc version
* Set Version: 0.1.6
* update lock file
---------
Co-authored-by: devops <devops@runtimeverification.com>