Tail recursion optimization
More tests
Added warning for tail-recursion in finally since it's not always tail
Fixed bug in finally tal generation