Add coverage checking to CI build steps