fix zero-dimensional reverse!

[nsajko]

Also changed the check to compare against the tuple argument, instead of against the method static parameter for the tuple length. Should be better when the length isn't known at compile time.

Fixes #58085

[nsajko]

As mentioned in the PR description, I believe changing M == 0 to dims === () is an improvement, because it results in better code when M isn't known, which is any time the length of dims isn't exactly known. See code_typed:

julia> f(dims::NTuple{M}) where {M} = M == 0
f (generic function with 1 method)

julia> g(dims::NTuple{M}) where {M} = dims === ()
g (generic function with 1 method)

julia> code_typed(f, Tuple{Tuple{Any,Vararg}})
1-element Vector{Any}:
 CodeInfo(
1 ─ %1 = $(Expr(:static_parameter, 1))::Int64
│   %2 =   builtin (%1 === 0)::Bool
└──      return %2
) => Bool

julia> code_typed(g, Tuple{Tuple{Any,Vararg}})
1-element Vector{Any}:
 CodeInfo(
1 ─     return false
) => Bool