added assert to hazard getters
fix migration script
fix source_progress generation