Implement lower complexity `verify_min_distance`

[bblankrot]

Currently, this is an O(M^2) algorithm. This can be improved substantially, for example by recursively subdividing the domain or by using an FMM-type approach (divide into boxes of size d_min, and then check only near neighbors).