Removed ManualTests project.
Added support to GetGenericMethods() for substitution.
Added support for contravariance (in arguments) in ContractProvider.
Added tests of invariance, covariance and contravariance