Removed code contracts references and replaced NUnit with xUnit. closes #1; closes #2