Checks to ensure transactions execute in the context of their originating stores

Checks to ensure transactions execute in the context of their originating stores #882