Sprinkle VERIFY_VP throughout the encoder