Reworking of invariants code

[mshinwell]

1. Moving the separate Flambda_invariants checks into the individual modules (e.g. `Flambda.Expr).
2. Coalescing the various loops on e.g. expressions into a single loop to do everything.

This involves a new "invariant environment" to be passed around. The result will be a simple kind checker.