Verifpal 0.21.1

Verifpal 0.21.1 brings further performance improvements by improving multithreading strategies.

Changelog

d3b13494 Add Piknik model contributed by Dan Sprenkels
25ac5c9f Allow parser to parse models starting with newline
2296f022 Brew formula update for verifpal version v0.21.0
8b61c5cd Fix dependencies installation on new machines
61d98d61 Fix golangci-lint
9e77458b Fix typo
7abe9349 Fix: pretty-printing of authentication queries
ceea6284 Improve multithreading stategy for stages with stage batching
0edf319b Minor optimizations
097a9b71 Pass pointers to structs for hot functions
fed46fcb Scoop update for verifpal version v0.21.0
60499ce7 Verifpal 0.21.1