A vote on gerrymandering in Virginia could be more important than its Democratic primary