Remove Automatic Evaluation

- [X] Stop auto eval for Xor
- [X] Stop auto eval for ITE
- [x] Stop auto eval for Not
- [X] to_nnf
- [x] is_nnf
- [X] is_literal for predicates
- [x] Tests
- [x] Documentation
`simplify` is an odd flag to have in a function called `simplify`. What would `simplify(simplify=False)` do?