[Coverage] Speed up subset for too-large Coverage tables Fixes https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=54980
2023-01-10T10:18:29