> It is inevitable that a manufacturer of BTC asics with access to cheap power will become large enough to control 51% of the hash

The ASIC manufacturer would also need a backdoor. ASIC manufacturers don't control mining.

Large miners are unlikely to allow backdoors into their mining network.