Add flags to eval to control optimization and tracing
Added (working) tracing to the interpreter in some spots
Fixed a bug in closure environment capture