Update generated files.
Remove unused import.
Improve wording of reference resolution failures.
Failing reference resolution is not an error, it shouldn't display a stacktrace.
Convert term to string to prevent string interpolation failing.
Only apply equality checks on the root term, no subterms.
Run strategy on analysed term.
Better error message when builder fails.
Fix forgotten check-builder call.

Commit 041636615b1ba4dd3072c0a8a5b379dd467028eb introduces an error with "run to" test expectations.
The problem is that these no longer properly check for errors, as the call to check-builder was not
updated to match the new check-builder input term (with the added builder argument).

This should fix the problem with "run to" test expectations.