Raphael Roche comments on Apocalypse insurance, and the hardline libertarian take on AI risk