Improved checking of number or arguments (JS only)

The JS code generator now inserts checks that block applications
have the correct number of arguments.  The error messages are
also improved, only speaking of multiple argument lists if there
are any.

Corresponding changes were _not_ incorporated into the C code
generator, because it’s too much work.    A test that requested a
zero-parameter block with one argument started to fail, and was
removed.