am c53b615a: Merge "Fix a possible off-by-one in the verifier." into ics-mr1-plus-art
am c53b615a: Merge "Fix a possible off-by-one in the verifier." into ics-mr1-plus-art

* commit 'c53b615a0c6932a865a831e9515d943c6c21426d':
  Fix a possible off-by-one in the verifier.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst