The extreme partisan gerrymander of Virginia's congressional districts will not go into effect after all.