1.17.0
- type checking for binary arithmetic operators
- use named address values for module resolution
- add a warning to check for inconsistent address names usage
- check for valid module name in single-module file rename
- fix file name refactoring for non-move files
- generate test run configuration correctly for packages in aptos-core/ repo