Return "[IndVars] Remove monotonic checks with unknown exit count"

This reverts commit e038b60d.
This reverts commit a0d84d80.

This revert was a mistake. The reason of the failures was
"Use uint64_t for branch weights instead of uint32_t"

Differential Revision: https://reviews.llvm.org/D87832