Fixed implementation of SpinModelChecker; the compilation created from a ModelingAssembly now has the same name as the assembly itself
Added ChooseMethodNormalizer
Added C# diagnostics infrastructure; added enum member diagnostic