Fix loopification in the presence of void arguments
This also removes Note [Void arguments in self-recursive tail calls], which was just misleading. It's important to count void args both in the function's arity and at the call site.
Fixes #24295 (closed).