SetupGet is now verifiable.

- 2 tests fail because of an inconsistency between AutoVerifyMocks and CheckSetupsAreMatchedWithVerifyCalls.
Should AutoVerifyMocks  disappear, as it is not overrideable with DontEnforceSetupVerification ?