More quasi-opposite, switch to Python3.8

What's Changed

• Dagstuhloid benchmark ++ by @teytaud in #1534
• New Dagstuhloid benchmark, including quasi-opposite stuff by @teytaud in #1540

Full Changelog: 0.8.0...v0.9.0