It’s not a bug though. You are not allowed to pick 3 heroes on a single round in HotS. Cho and Gall are just two ordinary heroes, nothing more than that.
If you don’t pick them both quickly on the same round, and somebody picks a hero before you do, they are not valid picks. If you run the timer down with invalid picks, you count as a leaver.