RefactorFormal Verification diagrams to be mermaid

[nuke-web3]

@bhargavbh used https://mermaid.live/ to get .svgs in the slides in https://github.com/Polkadot-Blockchain-Academy/pba-content/blob/main/syllabus/0-Miscellaneous/1-Formal-Methods/1-intro_formal_methods_slides.md - can you share that source here?

It needed a new type of diagram that didn't seem to render on first try

[wirednkod]

mermaid.live is for creating charts based on the capabilities of the actual mermaid plugin.
We are using a RevealMD plugin that enables us to incorporate various mermaid charts into the revealMD presentations (but not all).

I have included all possible working examples within the "copy/paste" section of the presentation for the instructors' convenience.

If there is a requirement for specific chart/diagram types, kindly open a new issue, and we will be prompt in addressing it.

[bhargavbh]

created a new issue along with a snippet for the meraid diagram type: #779. Closing this issue