Return a flag from GJK distance computation indicating convergence

### Describe new/missing feature

The distance/collision algorithm `compute_distance_gjk` is iterative, with a hard-wired maximum iteration count of 15. If this is exceeded, it will throw an error, but it would be more useful to return a flag to the user, so they can try the same computation with higher precision. See https://github.com/FEniCS/dolfinx/pull/3770

### Suggested user interface

```python3

```