Monitoring a gas-cooled nuclear reactor core integrity