set Code Contracts warning level to 2
ReadOnlyArray is now serializable
change text
rename Cancellable.Stop to Cancel