Apocalypse insurance, and the hardline libertarian take on AI risk