tabu search convergence improved

the merge includes:

- improved convergence detection for tabu search, now using a combination of Leven and Mann-Whitney-U tests to determine when multiple threads have converged
- tabu now correctly returns the best optimum found by any thread
- number of iterations to optimum greatly reduced for toy example
- complexity of toy example reduced to improve testing speed