[WIP] Add circuit validation step

[nonhermitian]

Validates the basis gates and topology of a circuit match that of a backend.

• [x] Investigate why BQSKit is failing in several cases.

[nonhermitian]

BQSKit only supports bi-directional coupling maps, and I was not taking that into account at first. Now it works.

[nonhermitian]

I will do Staq in another PR as that one works a bit different