Model verification for Lévy-driven Ornstein-Uhlenbeck processes