Proof v8.0.0-alpha.0

• Fix progress runner test on Circle CI. Closes #404.
• Resurrect existing error tests. Closes #402.
• Resurrect existing progress display tests. Closes #403.
• Resurrect existing runner tests. Closes #401.
• Use readline instead of byline. Closes #389.
• Inovke the errors from the proof executable. See #398. Closes #397.
• Add .dots to .gitignore. Closes #396.
• Extract unhandled rejection to testable module. See #395.
• Remove 'overwrite' tag from formatter. See #387.
• Delete old parser. Closes #393.
• Delete old runner sub-commands. Closes #392.
• Use formatter in progress, fix formatter regex. Closes #390. See #387.
• Rename ansi.js to formatter.js.
• Upgrade fracture to ^0.3.0-alpha.0. Closes #391.
• Create ANSI escape code formatter. Closes #387.
• Create a minimal program runner. Closes #386.
• Convert scaffold to async/await. See #385.
• Build on GitHub Actions, ship coverage to Codecov. Closes #382. Closes #381.
• Build with Node.js 12 on Travis CI. Closes #384.

Closes #405.