Throwaway by Design: Building a Regression Verifier with Agents