Home Mobile UK antitrust regulator puts Synopsys’ $35B acquisition of Ansys under the microscope