GJK: fix incompatible assertion check in support function

Checking the max coef is incompatible with the first convergence
criterion of GJK which checks the norm of the current iterate (see first
convergence check in `GJK::evaluate` in `gjk.cpp`).
This convergence check is needed, so it's better to adapt the assertion
than the GJK check itself.