Design and verification challenges of hydropower plant caverns