‘Plenty of better ways to do this’: Why it can be hard to assign voters to the right House districts in Va.