Verifpal 0.25.0

Verifpal 0.25.0 fixes additional analysis bugs reported by "Melanie" on the Discord chat.

Changelog

247ca91e Add additional test
7a7fd0a4 Brew formula update for verifpal version v0.24.1
ac6fde54 Clarify function names
3263d2ff Further analysis fixes
b467387f Scoop update for verifpal version v0.24.1
08347f53 Verifpal 0.25.0