Make coverage testing optional