s3torch

Add batch variants for more matrix operations

Add tiny shakespear and partial converted example

Add ability to add (and require) proof "less than"

Add 3-arity variant of apply with index

Align Index and Select API to both use First and Last