Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection