Some things (going by memory here) that seem to support the hypothesis:
1) Major point of differentiation for this virus is that compared to it's closest known relatives, it has acquired a furin site (eukaryotic protein cleavage site) that enhances its virulence.
2) That furin site RNA contains a non-canonical amino acid codon
3) That non-canonical codon contains a restriction site that could easily be used to track, whether, say, your added furin site is surviving multiple cell passages, by performing a restriction digest and running the fragments on a cell.
Like I said above, it's circumstantial, but this is all very normal. Both adding the furin site (how does coronavirus evolve into something more virulent?) and tracking it that way. Then all it takes is someone to get infected (EVERYONE working in biology has broken at least one lab safety rule in their life, even in BSL4) and either not be symptomatic and realize, or not say anything.
I describe the evidence in detail in this detailed longform post I wrote on reddit a few months back: Hi, I have a PhD in virology focused on emerging viruses, and a few months back I wrote a very lengthy and involved piece full of sources.
And in there, I describe exactly how wrong your point 1 is. And how misguided your point 3 is.
The post also won a "best of r/science 2020" award!
You can find it here: https://www.reddit.com/r/science/comments/gk6y95/covid19_did...
See under "Addendum to Q2"
I don't believe this is correct.
There are no other examples of a CoV within the sub-genera Sarbecovirus of a species/strain that shows evidence of insertion of a polybasic furin cleavage site.
Recombination can absolutely happen inter-genera and even inter-family.
There's some evidence that Ebola got its VP40 from bats, or vice versa. Meaning that an RNA virus somehow got its nuclear regulatory factor from a bat. We have no idea in science how that happened. But we know there is homology! I can't find the link at the moment, but when I do I'll add it here. It's not actually that important to my argument.
There are also examples of inter-family recombination in viruses that are much more down to earth.
See here: https://www.virology.ws/2016/10/27/genome-recombination-acro...
And you might be asking yourself, after reading that link "Why is it always bats?? Isn't that /suspicious/?" It's actually in keeping with everything we know about bats and their role as a viral reservoir. Lots of viruses cross paths in bats. See this other detailed post I wrote a while back: https://www.reddit.com/r/science/comments/gehvui/why_do_viru...