Bringing smaccmcopter model up to date with new resolute
Finished execute soundness
Finished smaccmcopter