Testing support and "tree-kill" strategy

* Added a test harness which recompiles and runs all tests.
* Added productivity tests, which tests cases which hang under the old
  implementation of unamb.
* Added new "tree-kill" implementation of unamb which passes all tests.
Added note about exceptions like keyboard interrupt.