main
setoolsgui: Address new errors in mypy 1.6.0.
Work around apparent false positive mypy bug.
Enable some strict mypy options as a first step to fully strict mode.
DirectedGraphResultTab: Add tree browser.