Flaring trade tensions have options traders piling into protection against big stock-market swings in late October, when US President Donald Trump and Chinese President Xi Jinping are set to meet.