Definitely one of the options I'd like the online game to address. In my IRL Colony games, we play so that emptying Prov does *not* end the game. All of us figure that there's no rational reason for that to end the game when there a higher Victory card in the game.
But, on the list of wished-for changes/options, it's pretty far down my own personal list of fixes. :-)