Add beginnings of LinearVM-Verifier.tex