Update several error messages.

Remove raw addresses from several error messages.
Correct use of plurals for some error messages.
Simply change wording on others.
Change state movement to return an enumeration of the possible outcomes.

This paves the way for us to provide feedback in the trace viewer when a student attempts some contextual movement, e.g. "found deallocation of memory" or "reached end of trace without finding deallocation of memory".