Support checking constraints with challenge/post-var terms at time of prove

[kayabaNerve]

While we have the prover check their constraints were valid, we don't if there's a challenge/post-var specification. Ideally, we do so.