Synopsys clears final regulatory hurdle in China for $35 billion Ansys acquisition, set to close July 17.