Add support for max arguments in a function

[darkdrag00nv2]

Issue to be solved

Right now, we don't have any support to limit the maximum number of arguments in variadic functions.

For example in assert(_: Bool, message: String), I can pass assert(10 == 10, message: "abc", "EXTRA ARGUMENT") and the checker doesn't catch it.

Suggested Solution

It would nice to be able to limit the number of arguments as well.

[SupunS]

Added with #2656