build(deps): bump fiat-crypto from 0.2.1 to 0.2.5

Bumps [fiat-crypto](https://github.com/mit-plv/fiat-crypto) from 0.2.1 to 0.2.5.
- [Release notes](https://github.com/mit-plv/fiat-crypto/releases)
- [Commits](https://github.com/mit-plv/fiat-crypto/commits)

---
updated-dependencies:
- dependency-name: fiat-crypto
  dependency-type: indirect
  update-type: version-update:semver-patch
...

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