SPIR-V doesn't really allow this, I heard? @dneto0

It's generally possible to detect some sorts of tail-call recursion and replace them with iteration regardless.

We don't need this for MVP but this issue can track it.