Fixing StaticAnalyzer - now works with new HashWithConstraints
Adding versions of static analyzers and cleaning up specs.
Adding a Xenuti::Report