This is useless and jankier than the `visualize*` methods

- Adds `graphviz` to dependencies
- Uses the `graphviz` package for visualizing the AnalysisTree (needs
  the `dot` etc. commands installed, usually available from the
  `graphviz` on most Linuxes)

parallel, incremental updates, and (updated) experiments for atva2023