Simple (slow!) instruction synthesis + pass support

I think the interesting part of this patch is the getValue() function in the Pass
You could pass the `-S` flag to `opt` to request output in textual format rather than using `llvm-dis`.