Verified Neural Compressed Sensing