Optionally, keep `assert false` clauses in exported code. Removed spurious `richer_answers` in tests.