添加 clippy 检查溢出的算术运算

我们的模糊努力主要发现了未加控制的算术。 我们应增加以下小检查,以便今后不允许不加限制的算术: https://Rust-lang.GitHub.io/Rust-clippy/master/index.html#/airthmetic side effects