Added support for z3 solver, and don't do fix in parser.
Use strict state monad for fixN computation.

Improves performance slightly, but is really the right thing to do anyway.
Use -O instead of -O2.

It improves performance a bunch.