Addressed inefficiencies in LocalCompiler

* Don't add redundant negated clauses
* Don't represent drops

Also added some extra printing and fixed unit tests.: