feat: support assert

[tserg]

Support Assert nodes except for membership tests.

• Create a new CairoAssert node class for assert statements in Cairo.
• Support Compare node in OpsConverter pass.
• Extract the test condition into a prior statement before the Assert node.