Missing end-to-end tests

[msoos]

There are no end-to-end tests for ANF parsing, CNF writing, etc. So there may be some bugs in some of these parsers and CNF/ANF writers, and we may introduce new ones, but we will not be alerted to them.