Optimizing is-multiple checks with modular arithmetic

Previous discussion: https://news.ycombinator.com/item?id=17887774

The patch for the optimization is actually currently under review for llvm! https://reviews.llvm.org/D50222