Remove best_assignment and SIMPLE_TEST code

The test suite is robust and we don't need it
Correctly report more errors. Eliminate non-code-taking append_error