Got rid of code contracts. They are too enterprisy (#17)
merge
got rid of System.Diagnostics.Debug.Assert