Improved invariant generation

- Communication of subsystem invariants,
- conditional assertion of the transition relations and invariants in lsd,
- pruning of the invariants now takes place before the check for step,
- possibility to iterate invariant generation at subsystem level before moving on to the next system (--invgen_max_succ).