Call nf_constraints also when compiling directly to vo

After commit b46944e the system got way slower, hence the optimization
is relevant also for non polymorphic constants.  Putting it back now,
but we shall find something in between: an optimization that does
not clash with async proofs but that gives some performance improvement
over no optimization at all.