Elliott's multibillion bet on Synopsys signals activist pressure ahead.