VerIF: Verification Engineering for Reinforcement Learning in Instruction Following