BatText: remove deprecated Invalid_rope exception

The Invalid_rope exception is not used (nor raised) anywhere in the code: it has been replaced by Not_found and Out_of_bounds over time.