Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification