Update documentation

[lastmjs]

• Explain that Zwitterion is used, so in production you must do a static build
• Explain all command line options
• Add GIF of GUI and terminal
• Give a quick introduction to JSVerify and how to create arbitraries
• Explain the test suite structure, the file structure, the web component structure, etc
• Show specific examples of test cases/test suites
• Explain Zwitterion