That’s a great frame for thinking about the problem. Whatever we do, should be a step towards native AA.
This is exactly what Optimism does with OVM_ProxyEOA which currently delegates to OVM_ECDSAContractAccount but supports upgrade(address _implementation)
. OVM creates these proxies on demand when the first transaction is made by EOA. We could use a variation of that.