Думаю, что тут вот в чем дело.

Шаблон '0*' говорит о том, что в искомой строке символ '0' может встретится 0 или более раз. Т.е. встретить хотя бы раз '0' вовсе не обязательно, чтобы ругулярное выражение было найдено. Берем первый символ, если это не '0', то шаблон найден, дальше искать не надо (по умолчанию поиск не "жадный"). Если первый символ '0', то идем по строке дальше, пока нули не закончатся.

В результате выражение ведет себя вроде бы корректно, если не смущает тот факт, что замена происходит при каждом вызове. Просто замена выглядит как добавление пустой строки '' в начало исходной строки, и визуально незаметна. Но подставим вместо пустой строки что-то еще и замена будет видна:


На мой взгляд регулярное выражение можно переписать так: '^0+'. Т.е. мы ищем нули только вначале строки(^) и хотя бы один должен встретиться обязательно (+). Тогда ненужные замены не будут срабатывать:


а нужные будут: