Reimplement handling of checkState+checkArgument to use the @AssertMethod infrastructure

[cpovirk]

I'm not saying that we should actually apply the @AssertMethod annotation to those methods or make our checker recognize it (though we could also consider those things), just that we probably could do what they're doing instead of having our own homegrown logic for the methods.