Check argument counts for user-defined functions

[obycode]

The type-checker will not report an error on a contract like this, where there is a problem with the number of arguments being passed to a user-defined function. clar2wasm needs to check for this during compilation.

(define-public (simple (a int) (b int) (c int))
  (ok (+ a b))
)

(define-public (call-it)
  (simple 1 2)
)

[moodmosaic]

@obycode, I've added stacks-network/stacks-core#4431 in stacks-core.