Make prettyprint support options

- prettyprint takes in an 'options' argument
- split node symbol and node operator toString() overrides
- add option to toggle simplification
- add toTex() support
add test! remove old test file