Final piece of hashing puzzle: plot_hash_set now also uses hash lookup, strcmp demon is dead

This commit finally merges all the work from our old experimental branch.