Add tests for trimming

Although we've made a few changes to improve support for trimming, we don't have any integration tests for this.

It would be good to:

• verify that trimming does actually work (i.e., that code is removed when intended)
• verify that we produce suitable warnings in unsupported scenarios
• verify that potentially tricky scenarios (notably around IQbservable<T> work)