Add low-bounds checking.
Port LessThan to the operation framework.
Fix bug in CheckIn when node is 0.

Some zero_cases might return 0, causing a check-in of node 0.  This
should always just give us back node 0.
Add array operation class.

Seems buggy, though.  Need to debug apply function.
Add visit member, remove shared flag, add prune op.