Comparing two backends only catches disagreement. How Chuks tests against known answers with 13 generators and about 7,800 programs.