Spec constr can create specialisation with thousands of arguments

See this reproducer: https://github.com/mpickering/scaling-train

Spec constr will create a specialisation with literally thousands of arguments, this then can trip up other parts of the compiler which are not optimised for functions which take thousands of arguments (as you would never write it by hand).

Related to #25196 (closed)