REDO: Execution-Free Runtime Error Detection for COding Agents