Verifpal 0.19.4

Verifpal 0.19.4 includes bug fixes to analysis logic thanks to reports from "Mike" and Angèle Bossuat (Quarkslab).
This tag has no release notes.