Drop Python 3.7

Python 3.7 is about to go EOL. Keeping support for it causes problems in some of our dependencies (most immediately, sphinx and furo). Flooring the Python version to 3.8 unblocks these upgrades. This requires a major version bump, so milestone 7.2 now becomes 8.0.