Setup::PropagateUnit[s], Setup::Add[Unit|Clause] assert non-[in]valid.

Adding valid or invalid clauses to a setup or doing unit propagation
with them is not illegal, it doesn't make much sense because we want to
deal with valid clauses and invalid literals implicitly.