The first attempt of test coverage was working but resulted
in massive slowdown of the test suite from ~6 min to >50 min,
so Travis-CI aborted the build. Commenting until I can find
if it can be run faster to allow Travis-CI to complete tests.