Many urchins do indeed eat coralline. I've observed them in action, both with a diadema urchin and a tuxedo urchin. However, they tend to eat a small patch, move, eat a small patch, move...roaming all over. The tuxedo urchin had only cleared very small spots, not noticeable except when it did it on the glass, and the diadema urchin cleared somewhat bigger ones. Unless you've got a big urchin in a tiny tank, and no other food sources for them, you don't really need to worry about them having any real effect on the amount of coralline in your tank.