Use dispatch on witness value for disjointness checks

[mforets]

still needs more work on the LazySets side, but will allow to use, e.g. _is_intersection_empty(Z::Zonotope{N}, H::Hyperplane{N}, ::Val{false}) where {N} directly.