[ProVerif] Extraction / analysis is not on CI

[jschneider-bensch]

• Successful extraction should be checked by CI
• We can easily check that the extracted model is valid ProVerif

Automatically checking the results of the analysis are as expected probably requires more tooling around getting that information from the ProVerif output