Introduce tests to show that SetupSet is not yet supported by DontEnforceSetupVerification()