Update rust toolchain version for Kani 0.8 #1474
Description
We should update the rust toolchain version once every release. For 0.7, we will try to update to version nightly-2022-08-02.
{{ message }}
We should update the rust toolchain version once every release. For 0.7, we will try to update to version nightly-2022-08-02.