Use a different encoding for individuals.

Unfortunately this also required rewriting lots of stuff,
including the local search.