Ex-Meta engineer flags 2 existential threats to Bitcoin's security model