Arity mismatch detection is weak.

[dabrahams]

See inadequate_arity_checking_tests.cpp, which passes. We should generate a hard error when more than 2 arguments are passed to our checking macros.