Streamline Python Workflow

[keithrfung]

• Debate use of tox
• Ensure feature parity including use of mypy as static type checker, unit tests using hypothesis, and code coverage
• Add linting / formatting check
• Speed up speed of unit testing or allow to isolate a test locally
• Investigate best case for running locally
• Publish pyp package for pip install

[danwallach]

Tox: I don't have any particular love or hate of the tool. I was looking for something analogous to Gradle (the standard Java build tool) and ran into Tox.

FYI: Tox is currently running MyPy, pylint, and black, so it doesn't pass the build unless all of those are happy.

The Hypothesis unit tests are definitely slower than I'd like, but they are really good at exploring for bugs. My observation is that I don't really care how long as the tests take to run on GitHub Actions so long as they take "minutes" and not "hours". Locally, you can pick and choose what you want to run.