Release notes:
- The checking phases use Hashtables: code rehashed and overall structure changed.
- Optimizations for rule1 and rule2 checking.
- Priliminary runs with Valgrind revealed embarrassingly slow pieces: Removed/Optimized.