Changes to QFCS_V2 Model.

I generally consolidated functionality in the model. For instance, there were a number of places where the details of actuator failure compensation was exposed to other components. This would make changing this feature rather messy as the specification would require changes in multiple places. Through the use of one non-linear equation I was able to make the specification more modular with respect to this feature. The properties in the FCS (the one affected by these changes) are proved in quick order.