Add a more flexible Dominators API.

Adds a new API for accessing the DominatorsComputation that makes it
easier to pass global state through the computation.

Bug: 79131879
Test: m ahat-test, with tests for new API added.

Change-Id: Id81a192abd1087773837714ccf2a7b3577a32992
4 files changed