Verifpal 0.23.2

Verifpal 0.23.2 fixes a crash that could sometimes occur with models that use the `password` value type.
This tag has no release notes.