Drawing the line: Algorithmic redistricting and the Supreme Court