[AutoDiff] Add `@differentiable` attribute SILGen assertion.
Previously, `@differentiable` attribute SILGen lowering was skipped if the
attribute did not have resolved parameter indices. This led to unexpected
and difficult-to-debug bugs like TF-888.
Re-add the assertion for robustness.
