Make coverage optional
grcov is currently broken because one of its dependencies got yanked, and that is breaking our CI (only half the time because some CI runners have grcov in cache).
I've sent a PR upstream so it gets fixed quickly, but in the meantime, I think we should make coverage optional so we can keep a working CI
Edited by trinity-1686a