Testsuite and CI: Should we test devel2 on CI

It seems people run the testsuite quite often using a devel2 compiler.

Through various differences between the devel2 flavours and what we usually test on CI this results in failed tests locally which pass on CI. Resulting in tickets/lost time and so on.

This is not a good state to be in. So we will likely need to expand our CI coverage in some way to prevent this going forward.