New transform manager, fixed a minor bug

The new transformation manager might be more efficient.
I even think we can get rid of buffer now when we have it.

Now supercompiler passes all the tests.