Verifpal 0.21.4

Verifpal 0.21.4 brings analysis bug fixes.

Changelog

205ae77b Add more sanity checks
c02c46e2 Brew formula update for verifpal version v0.21.3
1557f8e7 Catch unnamed_ prefix
e947a1c5 Different thread for each principal state
0d24442c Forbid queries with identical senders and recipients
69011a93 Minor analysis tweaks
ef56cf9d Minor optimizations
0faa6317 Minor optimizations
90673224 Re-enable PGP signed releases
e451fdeb Scoop update for verifpal version v0.21.3
e9923bc9 Tidy up examples folder
fe9a9e18 Tidy up examples folder
7fdf5704 Verifpal 0.21.4