Linearization with dependency DAG

[jdsteve2]

Create a statement DAG representing a simplifed version of the statement-instance-level dependencies and use it during linearization.

PR for parent branch: Check new dependencies against SIO

Replaces the old version of this PR