Hashsets and corrections to hash functions.  Small improvements to
basepair computations. Small bugfix for abductive prover regarding
starting search depth.
Bug fix in extended prover: tag substitution must happen even in safety
mode when looking for backlinks.