stripped final remnants of labeling code out of hashtable
some inlined functions in hashtable.hh removed
narrowing down freezup: all_tags spinlock in labelhash