Options-trading activity has been surging in recent years, but the picture you might have in your mind of bored millennials shorting meme stocks from their basements during the pandemic is a ...