More nf_evar.

The Goal.V82 primitives used the non-nf_evar'd version of hyps and concl. That produced a bug in one occurence of congruence in CompCert.