[Assurance] Fix typos

This pull request fixes issues reported by #1122, #1130, #1131, #1140, #1144, #1145, #1146 and #1147. In addition, some texts are aligned so that keyword definitions use the same format. Also, redundant trailing spaces are removed which may make developers irritated when they copy examples in the specification and paste them to other places.