Afaik a hard fork requires more than just miners. You could have 90% of the miners but if you don't have exchanges and users on the fork chain then you're out of luck. I didn't even know a difficulty bomb was built into Ethereum. All your post did was impress me with how forward thinking the developers are.