Verification with wfe

[radumcostache]

As previously discussed with @db7, the current parser comments out wfe and sevl instructions. We should check if their current implementations in Boogie still do what they are supposed to do and eventually add them back to the new parser.

[db7]

Yes, that's good to keep registered as an issue. Thank you.

[JonasOberhauser]

I see. I think I fixed the wfe and sevl semantics in the asm I worked on, it probably needs to be adapted for the other asms in the same way