Remove check-match, now provided by rackunit.
Iterate PDCFA eval to fixed point in memo table.

Ian suggested the evaluator needs to be iterated until reaching a
fixed point in the memo table.  This implements that suggestion.  The
soundness bug remains, but the likely cause is not threading the memo
table correctly through non-deterministic choices in evaluation.