附录3 Cosmos-SDK中的不变量检查