Sprinkle VERIFY_VP in paircmp functions