slightly better type inference for `reverse(::NTuple)`

[nsajko]

Just adds an ::NTuple type assertion to the result.

Before the return type of reverse(::NTuple) inferred as Tuple, now it's more precise, inferring as NTuple.

This is a partial reland of #55124 and partial revert of #55375.

Updates #54495