It would be nice if those labeled blocks could be written inline and anonymously - just pass a block as an argument rather than having to actually name the error handling block. Is that supported?
This could be an easy syntax extension, but then the only advantage remains the more efficient hardware implementation of the error handling.
In that case you no longer have the separation in program text between the normal execution path and the error handlers, which removes visual clutter.