Bump deps/crucible from ac948b4 to 9f785f1

Bumps [deps/crucible](https://github.com/GaloisInc/crucible) from `ac948b4` to `9f785f1`.
- [Release notes](https://github.com/GaloisInc/crucible/releases)
- [Commits](GaloisInc/crucible@ac948b4...9f785f1)

---
updated-dependencies:
- dependency-name: deps/crucible
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>