Detecting quantum non-Gaussianity via the Wigner function