Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing