If the Venusians had the technology to lob rocks, they'd have the technology to do so from the asteroid belt. They don't need to mine them their own non-existent moon.