Optimize sig defaults and arity changes to compile-time

[rurban]

The arity check should be done at compile-time, with filling in the defaults and optional+rest args earlier.
We still need to keep the check at run-time for the external API, but most cases can be filled in at compile-time.