Update the `assertions` tool simplifying use of the goal-expansion hooks and fixing some typos in message names