Remove cbmc from GITHUB_PRERELEASE_ALLOWLIST

[miccal]

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew style with your changes locally?
• Have you successfully run brew tests with your changes locally?

---

cbmc has been updated to version 5.13.1 which is correctly tagged as the latest release, so this is no longer required.

Thank you.

[issyl0]

Thanks, @miccal!