Verifpal 0.21.5

Verifpal 0.21.5 brings analysis bug fixes thanks to feedback from Friedrich Wiemer.

Changelog

470aeeb5 Brew formula update for verifpal version v0.21.4
9a789809 Fix golangci-lint
c5511798 Resolve analysis crash pointed out by Friedrich Wiemer
e83f8a50 Satisfy linter
745a1eed Scoop update for verifpal version v0.21.4
ca9779fa Update .gitignore
25e53e0b Update .golangci.yml
6c8705c1 Update Makefile
45f850bf Verifpal 0.21.5