Regression tester

Run the regression tests against the new SemiDemi matcher and report
failures.