Use MacOS-13 runners for release

[atodorov]

b/c MacOS 11 is no longer available. See:
gluwa/creditcoin#1687

Description of proposed changes

---

Practical tips for PR review & merge:

• All GitHub Actions report PASS
• Newly added code/functions have unit tests
  • Coverage tools report all newly added lines as covered
  • The positive scenario is exercised
  • Negative scenarios are exercised, e.g. assert on all possible errors
  • Assert on events triggered if applicable
  • Assert on changes made to storage if applicable
• Modified behavior/functions - try to make sure above test items are covered
• Integration tests are added if applicable/needed

[github-actions]

For full LLVM coverage report click here!