Conclusion: As the average blocksize gets larger, the time to verify the previous block also gets larger. This means that miners will be motivated to improve how quickly their nodes can perform the ECDSA operations needed to verify blocks or that they will be more motivated to trick the system.
you missed the most important alternative of all.
miners will pare down block sizes for maximum verification times and propagation times.