If indices are unsigned, bounds checks only need to have one conditional. There was a resolution for this on [2020-10-6](https://docs.google.com/document/d/11Uzxv2djFw1HVSTT6UtOBatW9J8cyoz_GDKtKFVUnJg/edit#heading=h.yky0xt42pf6j)