Bug-fix: multi-thread runs now individually seed the random-number generator. Before they were being seeded with the same number, which drastically undercut the system's randomness. Increased first-exit bucket size.