Updated Resharper annotations and changed ArgumentNotNull() to VerifyNotNull() CodeContract as it's clearer.