In #41, we added a compile time flag to enable the region invariant. This was not supported in the Windows build. We should fix that.
