The era of partisan gerrymandering is over.