Enable code contracts in release mode.

This PR fixes #28, by enabling code contracts in release mode.