New correctness test
Cleanup
box2minibox now takes tags
Peephole optimizations
Array rewritings
Specialized selection
Any methods rewired
Test used