Use xxhash instead of sha256 for hashing AST nodes

Use xxhash instead of sha256 for hashing AST nodes #13599