[Verifpal] Verifpal 0.6

[Mike]

> We are now at 0.6.5, which to me is looking pretty solid, I think we’re finally getting somewhere.

you broke one example:

Verifpal! parsing model "scuttlebutt_handshake.vp"...
Verifpal! Error: equation (longtermapub_bob^ephemeralb) does not use 'g' as generator.

(mike)