Verifpal 0.23.3

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