bump the required versions of dependencies
It has been more than 6 months since the last stable release of Debian/Ubuntu
We also take the opportunity to move qsymm installation into the environment, rather than ad-hoc when running the tests.
It has been more than 6 months since the last stable release of Debian/Ubuntu
We also take the opportunity to move qsymm installation into the environment, rather than ad-hoc when running the tests.