StatementTransformer: annotations don't include "" anymore, so assertion messages neither

It used to be that because assertion doc annotations literals would include the surrounding
quotes, the messages would be: Assertion failed: "message", but now it is:
Assertion failed: message, so I reflected that in the assertion message for the for range
optimisation.
Marked a test as failing