Does it have tail-call optimization? I scanned the docs but don't see it mentioned.

Presumably basing Jolt on Chez removes the limitation of the JVM? It could be an interesting selling point.