updating default behaviors

 - to check all setups are tested unless marked with DontEnforceSetupVerification()
 - to enforce setups are actually called by the production code, when marked with EnforceUsage()