Check layout/superclass constraints in derivative generic signatures.
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.