All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification