Enable thread annotations for parameters

This allows us to indicate that an argument (especially a lambda or
method reference) will be invoked on a separate thread. This will be
used to improve interprocedural thread annotation checks.

Test: n/a
Change-Id: I035733f8bfb1ba47f0995f38783681d105661dc5
5 files changed