Add some comments
Add meta-assertions
Fix code so that meta-assertions pass
Add lost annotation files
Add code analysis rules sets
Fix code analysis issues
Fix csproj file