Profiling Tail-Call Optimization

Verify that recursive functions are correctly optimized into jumps to prevent stack overflow.