Add @llvm.assume, lowering, and some basic properties