More thorough profiling options
Add some strictness

We were getting stack overflows due to too many built up thunks.
Add some strategic strictness to handle very large Dex files.
More efficient Label comparison

This was taking a significant amount of CPU time.  Especially the
derived comparison that was comparing bytestrings.  We have unique IDs,
so just compare on those instead.
Allocation reduction