I wonder whether grand opéra really takes war as seriously as this year’s Edinburgh Festival wanted it to. These vast…