Subgraph Isomorphism Checks

[edyounis]

We can add subgraph isomorphism passes that try to match logical connectivity to a physical topology without performing any swap operations. We can also add these passes to specific spots in the standard workflow to avoid placement + layout + routing.