[analysis] Add a tuple lattice

[tlively]

This lattice combines any number of other lattices into a single lattice whose
elements are tuples of elements of the other lattices. This will be one of the
most important lattices in the analysis framework because it will be used to
combine information about different parts of the program, e.g. locals and the
value stack, into a single lattice.

[tlively]

Current dependencies on/for this PR:

• main
  • PR [analysis][NFC] Rename parameters to join and meet methods #6056
    • PR [analysis] Implement an array lattice #6057
      • PR [analysis] Implement a vector lattice #6058
        • PR [analysis] Add a tuple lattice #6062 👈
          • PR [analysis] Add a lattice for value types #6064
            • PR [analysis][NFC] Refactor lattice unit tests #6065
              • PR [analysis] Add a "Shared" lattice to represent shared state #6067
                • PR [analysis] Simplify the stack lattice #6069
                  • PR [analysis] Allow joining a single vector element efficiently #6071
          • PR [analysis] Add a generic powerset lattice #6059

This stack of pull requests is managed by Graphite.

[tlively]

I'm going to reorder this PR to be before the powerset lattice PR, since this is on my critical path but powersets are not yet.

[tlively]

Merge activity

• Oct 30, 10:45 PM: @tlively started a stack merge that includes this pull request via Graphite.
• Oct 30, 11:29 PM: Graphite rebased this pull request as part of a merge.
• Oct 31, 12:10 AM: @tlively merged this pull request with Graphite.