Spec verifier for early detection of invalid export arity