Harris Ranch developers sued, then taxpayers struck back. Here’s what happened next