Certifying Properties Of Deep Networks By Taking Them Into Shallow Waters