Python中的断言是什么?它们如何执行?