Spec verifier for early detection of invalid export arity

We should certainly add a test for default not exported parameters.