Extended Argument.NotNull to allow nullable types.
Added ContractsShim to simplify Code Contracts handling.