[Verifpal] Verifpal 0.6

[Nadim Kobeissi]

Hello everyone,
Verifpal 0.6 is now available.

RELEASE NOTES
    - BREAKING: `HMACVERIF` has been renamed to `ASSERT`.
    - BREAKING: `HMAC` has been renamed to `MAC`.
    - Reduced the number of false positives.

INSTALLING AND UPDATING
    - If you’re fine with running arbitrary scripts in your terminal, you can instantly update like this:
        - bash -c 'curl -sL https://verifpal.com/install|bash'
    - Or you can download a pre-compiled binary here:
        - https://source.symbolic.software/verifpal/verifpal/releases

NOTES ABOUT THIS VERSION
    - Loup, this finally fixes the false positives on your hmac_ok and other models! Please do continue testing!

Looking forward to hearing from you all!

Nadim Kobeissi
Symbolic Software • https://symbolic.software