chore(deps): bump verification/cbmc/aws-c-common

Bumps [verification/cbmc/aws-c-common](https://github.com/awslabs/aws-c-common) from `70ed84b` to `4f874ce`.
- [Release notes](https://github.com/awslabs/aws-c-common/releases)
- [Commits](awslabs/aws-c-common@70ed84b...4f874ce)

---
updated-dependencies:
- dependency-name: verification/cbmc/aws-c-common
  dependency-type: direct:production
...

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