Data Hallucination, Falsification And Validation Using Generative Models And Formal Methods