minor updates to WffChecker and classes that extend it
Added Kekai's tests for QffWffChecker

* 'wffchecker-future' of ssh://github.com/PeterDrake/Logic:
  Added tests for QffWffChecker