PatchVerif: Discovering Faulty Patches in Robotic Vehicles