miners will pare down block sizes for maximum verification times and propagation times.
I agree that it could be a positive outcome but I "prefer" my option for 2 reasons:- The theoretical reason: there's no solution faster than no validation
- The practical reason: from the recent fork, we can see that some (many ?) mining pools prefer no validation than paring down block sizes (e.g. F2Pool mines small or big blocks).