At least 5,000 dead in Iran unrest, says official, as judiciary hints at executions