This revision adds vector transform operations that allow us to better inspect the composition
of various lowerings that were previously very opaque.
This commit is NFC in that it does not change patterns beyond adding rewriter.notifyFailure messages
and it does not change the tests beyond breaking them into pieces and using transforms instead of
throwaway opaque test passes.
You can rewrite this as follows to support non isolated from above targets.