Tests for CheckArgument.

Also renamed from Check to CheckArgument.