* reducing usage of tags.size() for efficiency
 * adding stats debugging for hash tables
 * specialising the printing and reading of bool options