Ignore tracer.errors() for internal encoder check

When tracer.errors() is UNSAT, we still want to check the condition
given to Encoder::check(Internal<bool>&&, const Tracer&).
Add barrier