Add ackermann_match.eh
Switch to the new tester