feat: no analyzer warning when state is generic

[wlsnmrk]

Currently, if an intermediate type is declared in the LogicBlock inheritance hierarchy (e.g., for reusable behaviors), the analyzer will warn about a missing [LogicBlock] attribute even when the state is still generic:

However, adding the [LogicBlock] attribute to this type is not feasible, as the state type is generic:

---

With this change, when the user declares a LogicBlock with a generic state, the analyzer no longer warns about a missing [LogicBlock] attribute:

The analyzer does still warn if the generic type does not appear to be a state (i.e., is not a member of the type argument list to the base logic block type):