Verifpal 0.22.0

Verifpal 0.22.0 provides native support for the new Apple Silicon platform.

Changelog

147c7332 Brew formula update for verifpal version v0.21.5
9eab3e6a Merge branch 'master' of source.symbolic.software:verifpal/verifpal
5561885b Minor updates
7faba9b1 Remove now-redundant mutation restriction
ed0fc44d Scoop update for verifpal version v0.21.5
4e901ed9 Verifpal 0.22.0