What validity checks should be supported on arguments?

[masonremy]

What types of information should we mark arguments with to indicate valid values for those arguments?
Some ideas:

• "is_checked"
• "nullable" / "can_be_null"
• valid ranges (e.g. int must be >= 0)
• do invalid values cause an assert or a return?