[AutoDiff] Forward-mode support for variables, generics, tuples, structs. (#26743)
Forward-mode differentiation now supports:
- Variables and generics (SIL addresses).
- Tuples and structs.
TF-800 tracks investigation for forward-mode specific changes to
activity analysis and "should differentiate" logic.