Verifpal 0.21.3

Verifpal 0.21.3 brings further performance improvements to analysis speeds and some analysis bug fixes.

Changelog

d93536ce Add essential missing sanity check on primitive inputs
1103c973 Avoid self-referential value mutations in analysis
d757f923 Brew formula update for verifpal version v0.21.2
35e0a28a Cleanup
1c6ef7f3 Fix linting
7c3ff7d0 Remove 'depth' nonsense
f51ab2fc Restore seemingly unnecessary explicit output and check properties transitions
0c4e7c15 Scoop update for verifpal version v0.21.2
9e900a66 Use interfaces for values (contributed by Fabian Drinck)
75544133 Verifpal 0.21.3