Update rewrite rule synth to discover more (all) IR patterns

[rdaly525]

Given an IR rule, find all equivalent IR patterns
Will be Implemented using technique from Buchwald
This should solve any commutativity and associativity issues.

[rdaly525]

@jack-melchert could you create a PR with inefficiently mapped kernels to test this on?