Simple (slow!) instruction synthesis + pass support

I think the interesting part of this patch is the getValue() function in the Pass
Thanks. I will, if you don't mind, leave llvm-dis in our lit.cfg as it does no harm and we may want it later.