update (failing) test case for 0-based tuple index
update (failing) test case for 0-based tuple index

Between this and the fix for #117, this fixes #170

ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol