as spoken with Alan from moonbeam, the current proof size that's reported in the on-runtime-upgrade is not correct. IIRC, it had something to do with reading/writing the code, which is not on-par with reality.

All in all, make sure that the proof size reported by try-runtime is 100% accurate.