Rebrand requirement invariants to supervisor invariants as synthesis output

If the supervisor is simplified w.r.t. invariants (and thus requirements are kept), the kind should be changed to supervisor kind.