Added large generated model:
ApplicationTypes: 60
ApplicationInstances: 2343
HostTypes: 94
HostInstances: 4166
States: 2015
Transitions: 1253
Allocated AppInstances: 1433
Connected HostsInstances: 4166
Added large constraints test.