Trimming attributes don't fully handle variance

Most of the trimming analysis is too conservative in how it handles attributes in override/interface situations.

In overriding, hiding, and interface implementation (OHI):

- [ ] DynamicallyAccessedMembers should allow adding DAMT items in member outputs and removing DAMT items on inputs, but not vice versa.
- [ ] Removing Requires* from an OHI member should be allowed, but not adding