The most important thing you miss in 3 is that this totally destroys bitcoin's incentive model.
Imo if drivechain sidechains become worth stealing from and somebody has the ability to do it and decides to do it then the value of the sidechain drops and the value of on-chain increases and the attack stops.