Taking Musk's government efficiency department as a joke underestimates what he might do with this newfound power.