Bump vs-verification-toolbox from c163422 to d5b0d17

Bumps [vs-verification-toolbox](https://github.com/viperproject/vs-verification-toolbox) from `c163422` to `d5b0d17`.
- [Release notes](https://github.com/viperproject/vs-verification-toolbox/releases)
- [Commits](viperproject/vs-verification-toolbox@c163422...d5b0d17)

---
updated-dependencies:
- dependency-name: vs-verification-toolbox
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>