[AutoDiff] Optimize derivative generic signature computation. (#27428)
Computing constrained derivative generic signatures is costly: remove
unnecessary uses in the differentiation transform. The only remaining use
is `[differentiable]` attribute construction, where it is necessary for
correctness. Other users now extract the constrained derivative generic
signature from a `[differentiable]` attribute.
Derivative generic signatures may now contain layout/superclass constraints.
This occurs for `autodiff_function` instructions with original function
operands that are generic with layout/superclass constraints. Add tests.