Text this: Data-driven methods for statistical verification of uncertain nonlinear systems