disable coverage checking

I don't think we ever use this, and it slows things down. If we want to use it,
we should just do so on a couple of builds rather than all of them.