Fix up tuple unboxing code

[msullivan]

The error handling code for unboxing tuples was busted and would cause crashes when it failed. As an expedient during bootstrapping, where this was making it hard to debug, I wrapped the tuple unboxing code with a tuple cast to do the error check in advance. This means that we essentially do all of the type checks while unboxing tuples twice, which is not great.