How do high-frequency traders under different option market regulations affect the quality and co-movement of the stock market and option market?