[CIR] Implement 'assume' attribute lowering (#182960)
This attribute applies to null statements and emits an assume-op
sometimes. This patch adds this for statements, which includes the
infrastructure for AttributedStmt lowering.
---------
Co-authored-by: Sirui Mu <msrlancern@gmail.com>