Monitoring and validation of concurrent invariants on .NET objects