Pretty print the way we report array length accesses

This completes the pretty printing for all the PointerKeys that we
deal with.

See #80.