Two things: * We can de-duplicate ivar reads from frozen objects because their shapes won't change * We can, if we know the exact object and know it's frozen, execute LoadField at compile-time