This is a generally informative and helpful comment, but I think there's a flaw in this argument. If WIV isolates viruses (from samples), there could be the possibility that a virus escapes before it is isolated and sequenced, or that the virus is not successfully isolated and sequenced but escapes and infects somebody. We do not need to suggest that they had preexisting records of SARS-CoV-2, which I would agree is clearly beyond reasonable speculation.
For the scenario in your second paragraph to play out, the WIV would have to have isolated the virus, then leaked it, but for nothing to published or communicated to collaborators about it for months. This is very unlikely.