Need to verify when constraints are migrated. Change IConstraintStore so
that it takes the substitution. In migrate we now verify any constraints
that need verification. Change lvar unification so that we fail if we
could not migrate the constraints.