simd向量化支持

先参阅galois/transform/transform.hpp:124的Vectorize实现, 这是一个老版本的实现, 现在我们的TensorType不在有simd字段了, 我们可以直接用
if32->Tile(4)的形式来表示一个4元素的向量类型, 该类型的运算会自动使用simd指令, 可查阅galois/codegen/cpu/prajna_codegen.hpp:71

现在你需要把一个“长度为lane倍数”的binary 运算转换为simd的形式, 可能会用到view::BitCast等指令, 实现功能后写一下相应的单元测试,
我们的galois/ir/ir_print_visitor.hpp可以打印出IR, 功能可能不全, 有问题可以自己修复一下