Victory Point Cards at the End of the Game
The cards count, so 8 VP.
From the Victory Point Cards entry of the rules:

Each victory point card is worth 1 victory point. You only reveal your victory point cards when you or someone else wins the game.

The winner only reveals their VP cards after they win the game, so VP cards are worth points even before they are revealed.
Furthermore, the non-winning players are instructed to reveal their VP cards when the game ends. There would be no point in doing so if they didn't count.
Finally, a player by the name Daniel Wilson claims the following on the BoardGameGeek message boards:

I've played in the Mayfair Settlers of Catan World/North American Championship Qualifiers the last few years running at Origins, and this situation has occurred multiple times in the games I've been in.
The way this situation was officially scored is exactly the way you described. The points are there and still count, whether revealed or not.