Out of the Shadows: Exploring a Latent Space for Neural Network Verification