Add Visual Studio Rozlin Analyzer to check Sagaway correctness

[alonf]

Add an analyzer that checks that all enums in the operation are in use
Checks dependencies
Check that we have a report completion for all operations
Think about additional validations