Fix replCorrect to the new semantics of module failure.

Had to add a cheat because evaluate_top_closed_context looks to be about
the old semantics of module failure.