Background work on hash tables and pvs

Some initial background work on hash tables.
An initial implementation of SearcherPVS (doesn't work correctly yet).
Working on hash table

pv search working
More work on hash table