chore: update version to 0.3.3 and enhance release automation workflow

[zombocoder]

This pull request automates and improves the release process by adding version verification, automating Homebrew formula updates, and bumping the crate version. The most important changes are as follows:

Release process improvements:

• Added a verify job in .github/workflows/release.yml to ensure that the Git tag matches the version in Cargo.toml before proceeding with the build, preventing accidental mismatches between released binaries and their version numbers.
• Bumped the crate version in Cargo.toml from 0.3.1 to 0.3.3 to reflect the new release.

Homebrew formula automation:

• Added a formula job to the release workflow that automatically updates the Homebrew formula (Formula/ghdash.rb) with the new version and artifact checksums, then commits and pushes the update to the main branch.
• Introduced a new script, scripts/update-formula.py, which updates the formula's version and SHA256 checksums for all referenced artifacts, ensuring accuracy and preventing stale checksums. The script is run as part of the release workflow and can also be used manually.