chore: deps: update builtin-actors, GST, verified claims tests

[rjan90]

Proposed Changes

As in the title:

• Update builtin-actors to v13.0.0
• Update GST to v0.13.1
• Update verified claims test

Additional Info

Checklist

Before you mark the PR ready for review, please make sure that:

• Commits have a clear commit message.
• PR title is in the form of of <PR type>: <area>: <change being made>
  • example: fix: mempool: Introduce a cache for valid signatures
  • PR type: fix, feat, build, chore, ci, docs, perf, refactor, revert, style, test
  • area, e.g. api, chain, state, market, mempool, multisig, networking, paych, proving, sealing, wallet, deps
• If the PR affects users (e.g., new feature, bug fix, system requirements change), update the CHANGELOG.md and add details to the UNRELEASED section.
• New features have usage guidelines and / or documentation updates in
  • Lotus Documentation
  • Discussion Tutorials
• Tests exist for new functionality or change in behavior
• CI is green

[aarshkshah1992]

@rvagg Removed the additional claims test you added as we're not shipping @LexLuthr 's extend claims CLI changes with this release.

[Stebalien]

Good to me, but I haven't checked the CIDs.

[arajasek]

LGTM!