[12.x] Refactor: improve doc block

[alipowerful7]

add @throws and modify @return
for this line:

        if ($step == 0) {
            throw new InvalidArgumentException('Step value cannot be zero.');
        }

[shaedrich]

This is what PHPStan has to say:

Condition "int is zero" in conditional return type is always false.
Method LazyCollection::range() has invalid return type zero.

https://phpstan.org/r/fe45d051-2850-4c2d-a04d-f359f58956f6

These are the supported integer ranges:

• positive-int
• negative-int
• non-positive-int
• non-negative-int
• non-zero-int
• int<0, 100>
• int<min, 100>
• int<50, max>

Similar to how strings can be a non-empty-string but not an empty-string, as they can be typed with a single literal: ''

Suggested change

	* @return ($step is zero ? never : static<int, int>)
	* @return ($step is 0 ? never : static<int, int>)