I think it is clearly a new feature (not that that's necessarily a bad thing--one could argue that Pay2ScriptHash was a new feature too). The fact that federated sidechains are already possible in no way means that adding OP_SIDECHAINPROOFVERIFY is an "upgrade." The federated servers sit on top of the bitcoin protocol, whereas the SPV-proof-based sidechains would be integrated within the protocol. If you argue that SPV-sidechains would be an "upgrade," would you not also argue that native support for colored coins or Counterparty features would also be an "upgrade"? Like federated sidechains, these features are already possible on platforms that sit on top of bitcoin too.
brg444: Do you support a hard-fork to increase the max block size limit?
I see where you are coming from but my opinion, as stated previously, is that integration of sidechains within the protocol is an important "upgrade" for the sake of decentralization and the integrity of the Bitcoin ledger in the future.
Moreover, it seems to me colored coins and counterparty are a lesser technology compared to sidechains which I find to be a very intuitive and natural progression of the Bitcoin protocol. Sidechains on the protocol level makes it possible to create counterparty/coloredcoins schemes that work in better synergy with the Bitcoin protocol. It also enables any other application layer that smart developers can think of.
Through sidechains, this is now all possible without being dependent on these federated servers which are inherently more centralized and create a very real risk of inflation and other malicious acts.
TL;DR : SPVproof Sidechain allows for decentralization of applications built on top of the Bitcoin protocol. IMO, this aspect is a very natural and important progress for anyone who dreams of a decentralized, trustless future.
To answer your question : yes I believe the increase of block size is an inevitability although what model should be adopted remains up in the air and is frankly out of my expertise. I do believe though that sidechains are a new factor that should be considered when making these decisions.