Fix a message raised from pragma Assert
Fix Ada.Streams.Stream_IO to be exception-safe
Improve Ada.Streams.Stream_IO (reformat)