关闭assertion的方式

1. disable ... iff()

2. 可以在top level，用$assertoff(1, assert_property_name); $asserton(1, assert_property_name);的方式关闭或打开对应的assert。