Not to mention that "bash" sounds like a concussive injury; "gash" sounds like a slicing injury. So follows that theme also.
I would be very surprised if genitalia slang came up in the author's mind as a choice of names but I guess I don't know them.
According to your reasoning, I can name an alarm program "cock", just as long as what was going through my mind at the time was a rooster crowing in the morning. ("Get woken up by cock!") What anyone else chooses to read into it is their problem?
Not everyone will be familiar with slangs in various countries.
But all these anecdotes counteract what Wikipedia says, which is that Coq was named for one of its authors, Thierry Coquand, and for his "calculus of constructions" (CoC).
It being named after Coquand is unsourced and even states something that is outright wrong (Coquand is not Coq's "principal author", the best fit would be Huet and Christine Paulin, but even then it was developed by a team, they just lead it. Source: Coq's history page).
Oh my, then you better not ever venture into the humanities! At least in musicology they spent the past 3 decades wresting free from the idea that evidence of the author's intentions are the only relevant thing.
Not a good name for a project.
I like gash though. Where bash is a bludgeoning shell gash is more of a cutting one, if we want to be cute about it.