Simplify things in the test matrix somewhat. Use develop mode (hopefully fixes coverage measurement).