The Ohio Supreme Court has now heard the case on gerrymandered maps