Michael Saylor’s MicroStrategy Inc. checks all the boxes for inclusion in the Nasdaq 100 Index, a development that would trigger purchases of the shares by the $451 billion worth of exchange-traded funds around the world that directly track the benchmark.