Verifpal 0.21.2

Verifpal 0.21.2 brings further performance improvements to analysis speeds.

Changelog

10c8dafe Add Fabian Drinck to verifpal about
5b86f04c Brew formula update for verifpal version v0.21.1
d86d116e Fix crashes
59e46863 Fix golangci-lint
73c9a7fd Fix linter
7853af0a Implement actual value deep copy
06bbb321 Improve referencing
2e30daa1 More referencing
15327856 More referencing
c268cb56 More referencing from Fabian Drinck
26284837 Pointers everywhere (crashes sometimes)
8f8ec1d1 Scoop update for verifpal version v0.21.1
172d9936 Verifpal 0.21.2