keep content and banner

Update README.md

Update README.md

Update mkdocs.yml

Merge pull request #325 from Consensys/ga4

move to ga4-gtm

Add SCSFG references

Add Formal and Runtime Verification to index

Create verification.md

Add REPL-like tools to testing.md

Add Disassemblers and Decompilers to Index

Add Ethereum DASM and Dedaub Decompiler

Fix formatting for category headers

Add decompilers category to disassemblers.md

Create disassemblers.md