I/O Contracts, Minimal Tests, and a Verification Request Prompt for Pandas