One way to reestablish trust would be if one could guarantee that a toolchain were fully homomorphic. Optimization would then be lost, but presumably this would only have to occur at a single stage in a bootstrap to avoid the attack.