Fix warnings, update mspec.  Code Contracts warnings need to be fixed...