Tox enhancements

Tweak the tox config to make each environment more targeted and generate HTML coverage reports and show test results.