fixed exponential blow up in flattening OR/AND; still need solution for xor and plus
added bit-blasting timer