Added (untested) debug button.
Replaced all dependencies on Code Contracts with Debug.Assert to make building easier.