Verifpal 0.26.0

Verifpal 0.26.0 fixes analysis unreliabilty that could arise when a Verifpal model contains a very large number of different queries.

Changelog

5be69ff5 Brew formula update for verifpal version v0.25.0
5d7ff638 Integrate Coq fixes
f2a3cfd5 Remove early resolution for in query stage
7381b4d0 Resolve early resolution side effects
616822bd Scoop update for verifpal version v0.25.0
3d8f6b9d Update go.mod and go.sum
4d276a85 Verifpal 0.26.0