Verifpal 0.27.0 fixes an analysis bug caused by an ill-thought "performance optimization". It also updates a few dependencies.

Thanks to Oskar Goldhahn (NTNU) for detecting the issue.
